A solver for quantified boolean formulas in negation normal form / Martina Seidl. 2007
Inhalt