in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 6175 LNCS, 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.
