Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006

В2.11, В2.12, Б2.1.

Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006Ed. by Biere A., Gomes C. P..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4121.-438 p.-(Lecture Notes in Computer Science).