Clause Elimination for SAT and QSAT

M. Heule, M. Järvisalo, F. Lonsing, M. Seidl, A. Biere:
"Clause Elimination for SAT and QSAT";
Journal of Artificial Intelligence Research,53(2015), S. 127 - 168.

[ Publication Database ]