Marijn Heule, Matti Järvisalo, Armin Biere,
"Covered Clause Elimination"
: Proc. 17th Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair Proceedings, 2010, 10-2010
Original Titel:
Covered Clause Elimination
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 17th Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair Proceedings, 2010
Original Kurzfassung:
Generalizing the novel clause elimination procedures developed in [1], we introduce explicit
(CCE), hidden (HCCE), and asymmetric (ACCE) variants of a procedure that eliminates covered
clauses from CNF formulas. We show that these procedures are more effective in reducing CNF
formulas than the respective variants of blocked clause elimination, and may hence be interesting as
new preprocessing/simplification techniques for SAT solving.