Observed lower bounds for random 3-sat phase transition density using linear programming

MJH Heule; H van Maaren

Observed lower bounds for random 3-sat phase transition density using linear programming

MJH Heule, H van Maaren

Software Technology

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

Original language	Undefined/Unknown
Title of host publication	Theory and applications of satisfiability testing
Editors	F Bacchus, T Walsh
Place of Publication	Berlin
Publisher	Springer
Pages	122-134
Number of pages	13
ISBN (Print)	3-540-26276-8
Publication status	Published - 2005
Event	Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland - Berlin Duration: 19 Jun 2005 → 23 Jun 2005

Publication series

Name
Publisher	Springer

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

Conference

Conference	Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland
Period	19/06/05 → 23/06/05

Keywords

conference contrib. refereed
ZX CWTS JFIS < 1.00

Cite this

@inproceedings{c88f65c509204b259cbeff3fe3636217,

title = "Observed lower bounds for random 3-sat phase transition density using linear programming",

keywords = "conference contrib. refereed, ZX CWTS JFIS < 1.00",

author = "MJH Heule and {van Maaren}, H",

year = "2005",

language = "Undefined/Unknown",

isbn = "3-540-26276-8",

publisher = "Springer",

pages = "122--134",

editor = "F Bacchus and T Walsh",

booktitle = "Theory and applications of satisfiability testing",

note = "Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland ; Conference date: 19-06-2005 Through 23-06-2005",

}

Heule, MJH & van Maaren, H 2005, Observed lower bounds for random 3-sat phase transition density using linear programming. in F Bacchus & T Walsh (eds), Theory and applications of satisfiability testing. Lecture Notes in Computer Science, vol. 3569, Springer, Berlin, pp. 122-134, Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland, 19/06/05.

Observed lower bounds for random 3-sat phase transition density using linear programming. / Heule, MJH; van Maaren, H.
Theory and applications of satisfiability testing. ed. / F Bacchus; T Walsh. Berlin: Springer, 2005. p. 122-134 (Lecture Notes in Computer Science; Vol. 3569).

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

TY - GEN

T1 - Observed lower bounds for random 3-sat phase transition density using linear programming

AU - Heule, MJH

AU - van Maaren, H

PY - 2005

Y1 - 2005

KW - conference contrib. refereed

KW - ZX CWTS JFIS < 1.00

M3 - Conference contribution

SN - 3-540-26276-8

SP - 122

EP - 134

BT - Theory and applications of satisfiability testing

A2 - Bacchus, F

A2 - Walsh, T

PB - Springer

CY - Berlin

T2 - Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland

Y2 - 19 June 2005 through 23 June 2005

ER -