Tue, 31.03.2015
The paper Clause Elimination for SAT and QSAT by Marijn Heule (University of Texas at Austin), Matti Järvisalo (HIIT, University of Helsinki), Florian Lonsing (Vienna University of Technology), Martina Seidl (Johannes Kepler University Linz), and Armin Biere (Johannes Kepler University Linz) has been accepted for publication in Journal of Artificial Intelligence Research.
Last updated on 31 Mar 2015 by Matti Järvisalo - Page created on 31 Mar 2015 by Matti Järvisalo