No Cover Image

Book chapter 565 views

Present and Future of Practical SAT Solving / Oliver Kullmann

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

Swansea University Author: Oliver Kullmann

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: College of Science
Start Page: 283