Schöning, Uwe2018-01-052018-01-0520102010https://dl.gi.de/handle/20.500.12116/9557Das SAT-ProblemText/Journal Article1432-122X