@article{TUW-244610, author = {Heule, Marijn and J{\"a}rvisalo, Matti and Lonsing, Florian and Seidl, Martina and Biere, Armin}, title = {Clause Elimination for SAT and QSAT}, journal = {Journal of Artificial Intelligence Research}, year = {2015}, volume = {53}, pages = {127--168}, doi = {10.1613/jair.4694} }