Covered Clause Elimination

MJH Heule; M Järvisalo; A Biere

Covered Clause Elimination

MJH Heule, M Järvisalo, A Biere

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

Original language	English
Title of host publication	Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Editors	CG Fermüller, A Voronkov
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	357-371
Number of pages	15
ISBN (Print)	978-3-642-1624-1
Publication status	Published - 2010
Event	17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR - Berlin, Germany Duration: 10 Oct 2010 → 15 Oct 2010

Publication series

Name
Publisher	Springer, LNCS

Conference

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

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{ecc61e13c09a4d35aafd9a7c7426cbf3,

title = "Covered Clause Elimination",

keywords = "Conf.proc. > 3 pag",

author = "MJH Heule and M J{\"a}rvisalo and A Biere",

year = "2010",

language = "English",

isbn = "978-3-642-1624-1",

publisher = "Springer",

pages = "357--371",

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

booktitle = "Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning",

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

}

Heule, MJH, Järvisalo, M & Biere, A 2010, Covered Clause Elimination. in CG Fermüller & A Voronkov (eds), Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Springer, Berlin, Germany, pp. 357-371, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, 10/10/10.

Covered Clause Elimination. / Heule, MJH; Järvisalo, M; Biere, A.
Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. ed. / CG Fermüller; A Voronkov. Berlin, Germany: Springer, 2010. p. 357-371.

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

TY - GEN

T1 - Covered Clause Elimination

AU - Heule, MJH

AU - Järvisalo, M

AU - Biere, A

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

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

M3 - Conference contribution

SN - 978-3-642-1624-1

SP - 357

EP - 371

BT - Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

A2 - Fermüller, CG

A2 - Voronkov, A

PB - Springer

CY - Berlin, Germany

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

Y2 - 10 October 2010 through 15 October 2010

ER -

Covered Clause Elimination

Publication series

Conference

Keywords

Other files and links

Cite this