No Cover Image

Book chapter 778 views

Present and Future of Practical SAT Solving

Oliver Kullmann Orcid Logo

Complexity of Constraints, Volume: 5250, Start page: 283

Swansea University Author: Oliver Kullmann Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Complexity of Constraints
ISSN: 0302-9743 1611-3349
Published: Springer 2008
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In Complexity of Constraints (ed. Creignou, Nadia; Kolaitis, Phokion; Vollmer, Heribert)
College: Faculty of Science and Engineering
Start Page: 283