Concurrent Cube-and-Conquer
Conference Paper
(2012)
Author(s)
P van der Tak (External organisation)
M.J.H. 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
ISBN (print)
978-3-642-31611-1
No files available
Metadata only record. There are no files for this record.