Wed, 03.09.2014
JSAT Special Issue on SAT 2014 Competitions and Evaluations: A special issue of Journal of Satisfiability, Boolean Modeling and Computation (JSAT) on the SAT 2014 affiliated competitions and evaluations is planned. Matti Järvisalo, together with Marijn Heule, as Guest Editors. Submission deadline November 14, 2014. More information here.
Last updated on 3 Sep 2014 by Matti Järvisalo - Page created on 3 Sep 2014 by Matti Järvisalo