Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).(2017).
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.(2017).
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. arXiv preprint arXiv:1707.01972.(2017).
On Tackling the Limits of Resolution in SAT Solving. arXiv preprint arXiv:1705.01477.(2017).
Maximal falsifiability. AI Communications. 29, 351–370.(2016).
Propositional Abduction with Implicit Hitting Sets. arXiv preprint arXiv:1604.08229.(2016).