Effective Incorporation of Double Look-Ahead Procedures

MJH Heule; H van Maaren

Effective Incorporation of Double Look-Ahead Procedures

MJH Heule, H van Maaren

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

9 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Theory and Applications of Satisfiability Testing - SAT 2007
Editors	Joao Marques-Silva, Karem A. Sakallah
Publisher	Springer
Pages	258-271
Number of pages	14
ISBN (Print)	978-3-540-72787-3
Publication status	Published - 2007

Publication series

Name
Publisher	Springer

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

Keywords

CWTS 0.75 <= JFIS < 2.00

Cite this

@inproceedings{0e7378cf0c164f93bb7f4dbc793c2989,

title = "Effective Incorporation of Double Look-Ahead Procedures",

keywords = "CWTS 0.75 <= JFIS < 2.00",

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

year = "2007",

language = "Undefined/Unknown",

isbn = "978-3-540-72787-3",

publisher = "Springer",

pages = "258--271",

editor = "Joao Marques-Silva and Sakallah, {Karem A.}",

booktitle = "Theory and Applications of Satisfiability Testing - SAT 2007",

}

Effective Incorporation of Double Look-Ahead Procedures. / Heule, MJH; van Maaren, H.
Theory and Applications of Satisfiability Testing - SAT 2007. ed. / Joao Marques-Silva; Karem A. Sakallah. Springer, 2007. p. 258-271 (Lecture Notes in Computer Science; Vol. 4501).

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

TY - GEN

T1 - Effective Incorporation of Double Look-Ahead Procedures

AU - Heule, MJH

AU - van Maaren, H

PY - 2007

Y1 - 2007

KW - CWTS 0.75 <= JFIS < 2.00

UR - http://www.st.ewi.tudelft.nl/%7Emarijn/publications/doublelook.pdf

M3 - Conference contribution

SN - 978-3-540-72787-3

SP - 258

EP - 271

BT - Theory and Applications of Satisfiability Testing - SAT 2007

A2 - Marques-Silva, Joao

A2 - Sakallah, Karem A.

PB - Springer

ER -

Effective Incorporation of Double Look-Ahead Procedures

Publication series

Keywords

Other files and links

Cite this