 |
 On the Computation of Necessary and Sufficient ExplanationsAAAI Conference on Artificial Intelligence (AAAI), 2022 |
 |
 On Quantifying Literals in Boolean Logic and Its Applications to
Explainable AIJournal of Artificial Intelligence Research (JAIR), 2021 |
 Lower Bounds for Approximate Knowledge CompilationInternational Joint Conference on Artificial Intelligence (IJCAI), 2020 |
 Three Modern Roles for Logic in AIACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), 2020 |
 On the relation between structured -DNNFs and SDDsTheory of Computing Systems (TCS), 2019 |
 Understanding the complexity of #SAT using knowledge compilationLogic in Computer Science (LICS), 2017 |
