[Zurück]

@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}
}