Organizing the SAT Competition 2014

This year I was part of the organizing team of the SAT Competition 2014, a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized – usually annually – as satellite event to the International Conference on Theory and Applications of Satisfiability Testing. SAT solvers are crucial in many applications, from resolving […]