Media type: Book Title: The satisfiability problem : algorythms and analyses Contributor: Schöning, Uwe [VerfasserIn]; Torán, Jacobo [VerfasserIn] imprint: Berlin: Lehmanns Media, [2020] Published in: Mathematik für Anwendungen ; 3.2020 Issue: Corrected reprint Extent: 184 Seiten; Illustrationen Language: English; German ISBN: 9783865415271 RVK notation: ST 134 : Algorithmen-, Komplexitätstheorie SK 890 : Ganzzahlige und kombinatorische Optimierung, Graphentheorie Keywords: Erfüllbarkeitsproblem Origination: Footnote: " English translation of a slightly extended version" - im Vorwort