Tue, 20.01.2015
The article Overview and Analysis of the SAT Challenge 2012 Solver Competition by Adrian Balint (Ulm University, Germany), Anton Belov (University College Dublin, Ireland), Matti Järvisalo (University of Helsinki and HIIT), and Carsten Sinz (Karlsruhe Institute of Technology, Germany) has been accepted for publication in Artificial Intelligence.
Last updated on 20 Jan 2015 by Kalle Ilves - Page created on 20 Jan 2015 by Matti Järvisalo