Concurrent Cube-and-Conquer
Conference Paper
(2012)
Author(s)
P van der Tak (External organisation)
MJH Heule (TU Delft - Algorithmics)
A Biere (External organisation)
Research Group
Algorithmics
To reference this document use
https://resolver.tudelft.nl/uuid:fc4e274c-eba7-441d-9cbe-c4a0212d248b
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Algorithmics
Pages (from-to)
475-476
Publisher
Springer
ISBN (print)
978-3-642-31611-1
Event
15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012 (2012-06-17 - 2012-06-20), Berlin
Downloads counter
138
No files available
Metadata only record. There are no files for this record.