Armin Biere,
"Theory and Applications of Satisfiability Testing - SAT 2006 , 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings"
, in A. Biere und C.P. Gomes, Serie Lecture Notes in Computer Science (LNCS), Vol. 4121, Springer, 2006, ISBN: 978-3-540-37206-6
Original Titel:
Theory and Applications of Satisfiability Testing - SAT 2006 , 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Forschungs-