Blocked Clause Elimination

M Jarvisalo; A Biere; MJH Heule

Blocked Clause Elimination

M Jarvisalo, A Biere, MJH Heule

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

94 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Editors	J Esparza, R Majumdar
Place of Publication	Berlin
Publisher	Springer
Pages	129-144
Number of pages	16
ISBN (Print)	0302-9743
Publication status	Published - 2010
Event	TACAS '10 - Berlin Duration: 20 Mar 2010 → 28 Mar 2010

Publication series

Name
Publisher	Springer

Conference

Conference	TACAS '10
Period	20/03/10 → 28/03/10

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{e073f517de7245f2822190016db7e5b4,

title = "Blocked Clause Elimination",

keywords = "CWTS JFIS < 0.75",

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

year = "2010",

language = "English",

isbn = "0302-9743",

publisher = "Springer",

pages = "129--144",

editor = "J Esparza and R Majumdar",

booktitle = "Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",

note = "TACAS '10 ; Conference date: 20-03-2010 Through 28-03-2010",

}

Blocked Clause Elimination. / Jarvisalo, M; Biere, A; Heule, MJH.
Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. ed. / J Esparza; R Majumdar. Berlin: Springer, 2010. p. 129-144.

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

TY - GEN

T1 - Blocked Clause Elimination

AU - Jarvisalo, M

AU - Biere, A

AU - Heule, MJH

PY - 2010

Y1 - 2010

KW - CWTS JFIS < 0.75

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

M3 - Conference contribution

SN - 0302-9743

SP - 129

EP - 144

BT - Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

A2 - Esparza, J

A2 - Majumdar, R

PB - Springer

CY - Berlin

T2 - TACAS '10

Y2 - 20 March 2010 through 28 March 2010

ER -

Blocked Clause Elimination

Publication series

Conference

Keywords

Other files and links

Cite this