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

Editor(s)

Strichman,O;Szeider,S

Document Type

Proceedings Paper

Year published

2010

Published

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, 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