Reusing the Assignment Trail in CDCL Solvers
Journal Article
(2011)
Author(s)
P van der Tak (External organisation)
A Ramos (External organisation)
MJH Heule (TU Delft - Algorithmics)
Research Group
Algorithmics
To reference this document use:
https://resolver.tudelft.nl/uuid:855782d6-65fe-4251-9b37-4fd3ed174b66
More Info
expand_more
expand_more
Publication Year
2011
Language
English
Research Group
Algorithmics
Volume number
7
Pages (from-to)
133-138
No files available
Metadata only record. There are no files for this record.