in Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6175, Páginas: 237-250
Conference
13Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2010, Date: 11 July 2010 through 14 July 2010, Location: Edinburgh, Patrocinadores: EPSRC;NSF;Microsoft Research;Association for Symbolic Logic;CADE Inc.
