Publications

The Seventh Qbf Solvers Evaluation (Qbfeval'10)

AuthID
P-007-V06

Author(s)

Peschiera, C

Pulina, L

Tacchella, A

Bubeck, U

Kullmann, O

Lynce, I

Document Type

Proceedings Paper

Year published

2010

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 6175 LNCS, Pages: 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, Sponsors: EPSRC;NSF;Microsoft Research;Association for Symbolic Logic;CADE Inc.

Indexing