Theory and Applications of Satisfiability Testing – SAT 2010 [E-Book] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.
Strichman, Ofer
Szeider, Stefan
Berlin, Heidelberg : Springer-Verlag Heidelberg Berlin, 2010
online resource
englisch
9783642141867
Lecture notes in computer science ; 6175
Full Text
Description not available.