in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6175, Páginas: 181-193 (13)
Conference
13Th International Conference on Theory and Applications of Satisfiability Testing, Date: JUL 11-14, 2010, Location: Edinburgh, SCOTLAND, Patrocinadores: EPSRC;NSF;Microsoft Research;Association for Symbolic Logic;CADE Inc., Host: Univ Edinburgh, Sch Informat