The 481 Ways to Split a Clause and Deal with Propositional Variables

Krystof Hoder; Andrei Voronkov

doi:10.1007/978-3-642-38574-2_33

The 481 Ways to Split a Clause and Deal with Propositional Variables

Krystof Hoder, Andrei Voronkov

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Pages	450-464
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-38574-2_33
Publication status	Published - 2013

Access to Document

10.1007/978-3-642-38574-2_33

Cite this

@inproceedings{f83878fdeb744bd38877847f6fcfe7b4,

title = "The 481 Ways to Split a Clause and Deal with Propositional Variables",

author = "Krystof Hoder and Andrei Voronkov",

year = "2013",

doi = "10.1007/978-3-642-38574-2_33",

language = "English",

pages = "450--464",

booktitle = "Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings",

}

TY - GEN

T1 - The 481 Ways to Split a Clause and Deal with Propositional Variables

AU - Hoder, Krystof

AU - Voronkov, Andrei

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38574-2_33

DO - 10.1007/978-3-642-38574-2_33

M3 - Conference contribution

SP - 450

EP - 464

BT - Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

ER -