N. Eén, Armin Biere,
"Effective Preprocessing in SAT through Variable and Clause Elimination"
: Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings, Serie Lecture Notes in Computer Science (LNCS), Vol. 3569, Springer, Seite(n) 61-75, 2005, ISBN: 3-540-26276-8
Original Titel:
Effective Preprocessing in SAT through Variable and Clause Elimination
Sprache des Titels:
Englisch
Original Buchtitel:
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Forschungs-