EagleUP: Solving Random 3-SAT using SLS with Unit Propagation

Conference Paper (2011)

Author(s)

O Gableske (External organisation)

MJH Heule (TU Delft - Algorithmics)

Research Group

Algorithmics

DOI related publication

https://doi.org/10.1007/978-3-642-21581-0

Techniek CWTS JFIS < 0.75 Wiskunde en Informatica Technische Wiskunde en Informatica

To reference this document use:

More Info

expand_more

Publication Year

2011

Language

English

Research Group

Algorithmics

Pages (from-to)

367-368

ISBN (print)

978-3-642-21581-0

No files available

Metadata only record. There are no files for this record.