Das Erfüllbarkeitsproblem Sat by Uwe Schoening