Publications

On Tackling the Limits of Resolution in Sat Solving

AuthID
P-00N-03B

Author(s)

Ignatiev, A

Morgado, A

Marques Silva, J

Editor(s)

Gaspers,S;Walsh,T

Document Type

Proceedings Paper

Year published

2017

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), ISSN: 0302-9743

Volume: 10491, Pages: 164-183 (20)

Conference

20Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2017, Date: 28 August 2017 through 1 September 2017, Sponsors: Association for Constraint Programming;Association for Logic Programming;CSIRO Data61;et al;Monash University;University of Melbourne

Indexing