Clause Elimination Procedures for CNF Formula

MJH Heule; M Jarvisalo; A Biere

Clause Elimination Procedures for CNF Formula

MJH Heule, M Jarvisalo, A Biere

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

52 Citations (Scopus)

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Editors	C Fermüller, A Voronkov
Place of Publication	Berlin
Publisher	Springer
Pages	357-371
Number of pages	15
ISBN (Print)	0302-9743
Publication status	Published - 2010
Event	17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Berlin Duration: 10 Oct 2010 → 15 Oct 2010

Publication series

Name
Publisher	Springer

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

Conference

Conference	17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Period	10/10/10 → 15/10/10

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{65ebc6bd74194fedab45f9517727a9c7,

title = "Clause Elimination Procedures for CNF Formula",

keywords = "CWTS JFIS < 0.75",

author = "MJH Heule and M Jarvisalo and A Biere",

year = "2010",

language = "English",

isbn = "0302-9743",

publisher = "Springer",

pages = "357--371",

editor = "C Ferm{\"u}ller and A Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

note = "17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; Conference date: 10-10-2010 Through 15-10-2010",

}

Heule, MJH, Jarvisalo, M & Biere, A 2010, Clause Elimination Procedures for CNF Formula. in C Fermüller & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, vol. 6397, Springer, Berlin, pp. 357-371, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 10/10/10.

Clause Elimination Procedures for CNF Formula. / Heule, MJH; Jarvisalo, M; Biere, A.
Logic for Programming, Artificial Intelligence, and Reasoning. ed. / C Fermüller; A Voronkov. Berlin: Springer, 2010. p. 357-371 (Lecture Notes in Computer Science; Vol. 6397).

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

TY - GEN

T1 - Clause Elimination Procedures for CNF Formula

AU - Heule, MJH

AU - Jarvisalo, M

AU - Biere, A

PY - 2010

Y1 - 2010

KW - CWTS JFIS < 0.75

UR - http://www.st.ewi.tudelft.nl/~marijn/publications/LPAR17.pdf

M3 - Conference contribution

SN - 0302-9743

SP - 357

EP - 371

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Fermüller, C

A2 - Voronkov, A

PB - Springer

CY - Berlin

T2 - 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Y2 - 10 October 2010 through 15 October 2010

ER -

Clause Elimination Procedures for CNF Formula

Publication series

Conference

Keywords

Other files and links

Cite this