Next:
Implementierungsdetail
Up:
SAT : Erfüllbarkeit für
Previous:
benötigte Module
Contents
Instanz der Klasse Problem
Die drei Teile der Klasse Problem (Problem, Instanz, Beweis) sind (SAT, Formel, Belegung).
Johannes Waldmann 2009-11-17
