Mikoláš Janota

• Theory and Applications of Satisfiability Testing – SAT 2019