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

O Gableske; MJH Heule

doi:10.1007/978-3-642-21581-0

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

O Gableske, MJH Heule

Algorithmics

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	14th International Conference on Theory and application of satisfiability testing (SAT'11)
Editors	KA Sakallah, L Simon
Place of Publication	Ann Arbor, MI, USA
Publisher	Springer
Pages	367-368
Number of pages	2
ISBN (Print)	978-3-642-21581-0
DOIs	https://doi.org/10.1007/978-3-642-21581-0
Publication status	Published - 2011
Event	SAT'11 - Ann Arbor, MI, USA Duration: 19 Jun 2011 → 22 Jun 2011

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	6695
ISSN (Print)	0302-9743

Conference

Conference	SAT'11
Period	19/06/11 → 22/06/11

Keywords

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

Access to Document

10.1007/978-3-642-21581-0

Cite this

@inproceedings{f12394540a92435380393d4a60dd1e0d,

title = "EagleUP: Solving Random 3-SAT using SLS with Unit Propagation",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, CWTS JFIS < 0.75",

author = "O Gableske and MJH Heule",

year = "2011",

doi = "10.1007/978-3-642-21581-0",

language = "English",

isbn = "978-3-642-21581-0",

publisher = "Springer",

pages = "367--368",

editor = "KA Sakallah and L Simon",

booktitle = "14th International Conference on Theory and application of satisfiability testing (SAT'11)",

note = "SAT'11 ; Conference date: 19-06-2011 Through 22-06-2011",

}

EagleUP: Solving Random 3-SAT using SLS with Unit Propagation. / Gableske, O; Heule, MJH.
14th International Conference on Theory and application of satisfiability testing (SAT'11). ed. / KA Sakallah; L Simon. Ann Arbor, MI, USA: Springer, 2011. p. 367-368 (Lecture Notes in Computer Science; Vol. 6695).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Gableske, O

AU - Heule, MJH

PY - 2011

Y1 - 2011

KW - Wiskunde en Informatica

KW - Techniek

KW - technische Wiskunde en Informatica

KW - CWTS JFIS < 0.75

U2 - 10.1007/978-3-642-21581-0

DO - 10.1007/978-3-642-21581-0

M3 - Conference contribution

SN - 978-3-642-21581-0

SP - 367

EP - 368

BT - 14th International Conference on Theory and application of satisfiability testing (SAT'11)

A2 - Sakallah, KA

A2 - Simon, L

PB - Springer

CY - Ann Arbor, MI, USA

T2 - SAT'11

Y2 - 19 June 2011 through 22 June 2011

ER -