Between Restarts and Backjumps
Conference Paper
(2011)
Author(s)
A Ramos (External organisation)
P van der Tak (External organisation)
MJH Heule (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Research Group
Algorithmics
DOI related publication
https://doi.org/10.1007/978-3-642-21581-0
Final published version
To reference this document use
https://resolver.tudelft.nl/uuid:fb8c5053-92f2-4447-88d1-2c45f40f8372
More Info
expand_more
expand_more
Publication Year
2011
Language
English
Research Group
Algorithmics
Pages (from-to)
216-229
Publisher
Springer
ISBN (print)
978-3-642-21580-3
Event
SAT2011 (2011-06-19 - 2011-06-22), Berlin, Germany
Downloads counter
157