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, Vol. Volume 4121/2006, 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-