Theory and applications of satisfiability testing [E-Book] : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / ed. by H. Kleine Büning ...
Kleine Büning, H., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540797197 (e-book)
9783540797180
Lecture notes in computer science ; 4996
Full Text
Description not available.