Home
Primary tabs
"PySAT: A Python Toolkit for Prototyping with SAT Oracles",
International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
"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, vol. 29, no. 2: IOS Press, pp. 351–370, 2016.
"Propositional Abduction with Implicit Hitting Sets",
arXiv preprint arXiv:1604.08229, 2016.
