EagleUP: Solving Random 3-SAT using SLS with Unit Propagation
Conference Paper
(2011)
Author(s)
O Gableske (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:f1239454-0a92-4353-8039-3d4a60dd1e0d
More Info
expand_more
expand_more
Publication Year
2011
Language
English
Research Group
Algorithmics
Pages (from-to)
367-368
Publisher
Springer
ISBN (print)
978-3-642-21581-0
Event
SAT'11 (2011-06-19 - 2011-06-22), Ann Arbor, MI, USA
Downloads counter
104