Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

January 2010
PDF bib DOI

Abstract

Full Citation:

. Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. volume 6175 of Lecture Notes in Computer Science, 2010, Springer Verlag.

Type
Uncategorized
AC Admin
AC Admin

Website maintainer