Standard

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/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

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.

APA

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 (pp. 122-134). (Lecture Notes in Computer Science; Vol. 3569). Berlin: Springer.

Vancouver

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

Author

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

BibTeX

@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",

}

RIS

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

ER -

ID: 3489621