ML Anthology

Lonsing, Florian

1 publications

JAIR 2015 Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere