Uwe Schöning, Jacobo Torán. Das Erfüllbarkeitsproblem SAT - Algorithmen und Analysen. Volume 1 of Mathematik für Anwendungen, Lehmann, 2012. [doi]
@book{0028796,
title = {Das Erfüllbarkeitsproblem SAT - Algorithmen und Analysen},
author = {Uwe Schöning and Jacobo Torán},
year = {2012},
url = {http://www.lehmanns.de/shop/mathematik-informatik/22631438-9783865414731-das-erfuellbarkeitsproblem-sat},
researchr = {https://researchr.org/publication/0028796},
cites = {0},
citedby = {0},
volume = {1},
series = {Mathematik für Anwendungen},
publisher = {Lehmann},
isbn = {978-3-86541-473-1},
}