Järvisalo co-organizes SAT Competition 2014

Together with Anton Belov (Ireland), Daniel Diepold (Germany), and Marijn Heule (The University of Texas at Austin, USA) Matti Järvisalo organizes the 2014 edition of the SAT Competition affiliated with the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014) and the Federated Logic Conference (FLoC 2014) taking place in Vienna, Austria in July.

SAT Competition 2014 stands in the tradition of the previously organized main competitive events for SAT solvers: the SAT Competitions held 2002-2005 and biannually during 2007-2013, the SAT-Races held in 2006, 2008 and 2010, and SAT Challenge 2012, which have contributed to driving the progress in SAT solver technology. The area of Boolean satisfiability (SAT) solving has seen tremendous progress over the last years. Many problems (e.g., in hardware and software verification) that seemed to be completely out of reach a decade ago can now be handled routinely. Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success. To keep up the driving force in improving SAT solvers, SAT solver competitions provide opportunities for solver developers to present their work to a broader audience and to objectively compare the performance of their own solvers with that of other state-of-the-art solvers.