//-->
Turbo-Zertifikate:Darstellung, Bewertung und Analyse
Fischer, Edwin O., (2002)
Short-Zertifikate:Darstellung, Bewertung und Analyse
A Penalty Function Approach to Max 3-SAT Problems
Kofler, Christian, (2014)