| 2026 | SAT | Dsat: A Native SAT Solver for Discrete Logic. | Yaofang Zhang, Ken Zhou, Adnan Darwiche |
| 2024 | FlAIRS | Causal Unit Selection using Tractable Arithmetic Circuits. | Haiying Huang, Adnan Darwiche |
| 2024 | FlAIRS | Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? | Yaofang Zhang, Adnan Darwiche |
| 2023 | IJCAI | On the Complexity of Counterfactual Reasoning. | Yunqiu Han, Yizuo Chen, Adnan Darwiche |
| 2023 | JELIA | A New Class of Explanations for Classifiers with Non-binary Features. | Chunxi Ji, Adnan Darwiche |
| 2023 | LICS | Logic for Explainable AI. | Adnan Darwiche |
| 2022 | AAAI | On the Computation of Necessary and Sufficient Explanations. | Adnan Darwiche, Chunxi Ji |
| 2022 | IJCAI | On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). | Adnan Darwiche, Pierre Marquis |
| 2022 | UAI | On the definition and computation of causal treewidth. | Yizuo Chen, Adnan Darwiche |
| 2021 | ICML | On Recovering from Modeling Errors Using Testing Bayesian Networks. | Haiying Huang, Adnan Darwiche |
| 2020 | ECAI | An Advance on Variable Elimination with Applications to Tensor-Based Computation. | Adnan Darwiche |
| 2020 | ECAI | On the Reasons Behind Decisions. | Adnan Darwiche, Auguste Hirth |
| 2020 | KR | On Tractable Representations of Binary Neural Networks. | Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
| 2020 | PODS | Three Modern Roles for Logic in AI. | Adnan Darwiche |
| 2019 | AAAI | Structured Bayesian Networks: From Inference to Learning with Routes. | Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi |
| 2019 | AAAI | Compiling Bayesian Network Classifiers into Decision Graphs. | Andy Shih, Arthur Choi, Adnan Darwiche |
| 2019 | ICML | Conditional Independence in Testing Bayesian Networks. | Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche |
| 2019 | SAT | Verifying Binarized Neural Networks by Angluin-Style Learning. | Andy Shih, Adnan Darwiche, Arthur Choi |
| 2018 | AAAI | Conditional PSDDs: Modeling and Learning With Modular Knowledge. | Yujia Shen, Arthur Choi, Adnan Darwiche |
| 2018 | IJCAI | A Symbolic Approach to Explaining Bayesian Network Classifiers. | Andy Shih, Arthur Choi, Adnan Darwiche |
| 2017 | ICML | On Relaxing Determinism in Arithmetic Circuits. | Arthur Choi, Adnan Darwiche |
| 2017 | IJCAI | Open-World Probabilistic Databases: An Abridged Report. | Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
| 2017 | IJCAI | Optimal Feature Selection for Decision Robustness in Bayesian Networks. | YooJung Choi, Adnan Darwiche, Guy Van den Broeck |
| 2017 | UAI | A Tractable Probabilistic Model for Subset Selection. | Yujia Shen, Arthur Choi, Adnan Darwiche |
| 2016 | AAAI | Structured Features in Naive Bayes Classification. | Arthur Choi, Nazgol Tavabi, Adnan Darwiche |
| 2016 | AAAI | Preface: The Beyond NP Workshop. | Adnan Darwiche, Joo Marques-Silva, Pierre Marquis |
| 2016 | AISTATS | Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. | Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche |
| 2016 | KR | Open-World Probabilistic Databases. | Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
| 2016 | KR | Solving PP | Umut Oztok, Arthur Choi, Adnan Darwiche |
| 2015 | AAAI | On the Role of Canonicity in Knowledge Compilation. | Guy Van den Broeck, Adnan Darwiche |
| 2015 | AAAI | Value of Information Based on Decision Robustness. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2015 | IJCAI | Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. | Arthur Choi, Guy Van den Broeck, Adnan Darwiche |
| 2015 | IJCAI | A Top-Down Compiler for Sentential Decision Diagrams. | Umut Oztok, Adnan Darwiche |
| 2015 | IJCAI | Data Compression for Learning MRF Parameters. | Khaled S. Refaat, Adnan Darwiche |
| 2015 | UAI | Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. | Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl |
| 2015 | UAI | Computer Adaptive Testing Using the Same-Decision Probability. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2015 | UAI | An Upper Bound on the Global Optimum in Parameter Estimation. | Khaled S. Refaat, Adnan Darwiche |
| 2014 | CP | On Compiling CNF into Decision-DNNF. | Umut Oztok, Adnan Darwiche |
| 2014 | ECAI | CV-width: A New Complexity Parameter for CNFs. | Umut Oztok, Adnan Darwiche |
| 2014 | KR | Skolemization for Weighted First-Order Model Counting. | Guy Van den Broeck, Wannes Meert, Adnan Darwiche |
| 2014 | KR | Probabilistic Sentential Decision Diagrams. | Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2013 | AAAI | Dynamic Minimization of Sentential Decision Diagrams. | Arthur Choi, Adnan Darwiche |
| 2013 | ECSQARU | Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. | Arthur Choi, Doga Kisa, Adnan Darwiche |
| 2013 | IJCAI | An Exact Algorithm for Computing the Same-Decision Probability. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2012 | AAAI | Basing Decisions on Sentences in Decision Diagrams. | Yexiang Xue, Arthur Choi, Adnan Darwiche |
| 2012 | ECAI | Generalized Decision Diagrams: The game is not over yet! | Adnan Darwiche |
| 2012 | UAI | Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. | Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2012 | UAI | New Advances and Theoretical Insights into EDML. | Khaled S. Refaat, Arthur Choi, Adnan Darwiche |
| 2011 | IJCAI | SDD: A New Canonical Representation of Propositional Knowledge Bases. | Adnan Darwiche |
| 2011 | UAI | EDML: A Method for Learning Parameters in Bayesian Networks. | Arthur Choi, Khaled S. Refaat, Adnan Darwiche |
| 2010 | AAAI | A Lower Bound on the Size of Decomposable Negation Normal Form. | Thammanit Pipatsrisawat, Adnan Darwiche |
| 2010 | ECAI | Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. | Knot Pipatsrisawat, Adnan Darwiche |
| 2010 | ECAI | On Decomposability and Interaction Functions. | Knot Pipatsrisawat, Adnan Darwiche |
| 2010 | JELIA | Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. | Adnan Darwiche |
| 2009 | CP | Approximating Weighted Max-SAT Problems by Compensating for Relaxations. | Arthur Choi, Trevor Standley, Adnan Darwiche |
| 2009 | CP | On the Power of Clause-Learning SAT Solvers with Restarts. | Knot Pipatsrisawat, Adnan Darwiche |
| 2009 | IJCAI | A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. | Knot Pipatsrisawat, Adnan Darwiche |
| 2009 | SAT | Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. | Knot Pipatsrisawat, Adnan Darwiche |
| 2008 | AAAI | Focusing Generalizations of Belief Propagation on Targeted Queries. | Arthur Choi, Adnan Darwiche |
| 2008 | AAAI | Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. | Arthur Choi, Adnan Darwiche |
| 2008 | AAAI | Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. | Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun |
| 2008 | AAAI | New Compilation Languages Based on Structured Decomposability. | Knot Pipatsrisawat, Adnan Darwiche |
| 2008 | AAAI | A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. | Knot Pipatsrisawat, Adnan Darwiche |
| 2008 | UAI | Approximating the Partition Function by Deleting and then Correcting for Model Edges. | Arthur Choi, Adnan Darwiche |
| 2008 | UAI | Evaluating probabilistic reasoning systems. | Adnan Darwiche, Rina Dechter |
| 2008 | WABI | Efficient Genome Wide Tagging by Reduction to SAT. | Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin |
| 2007 | IJCAI | Compiling Bayesian Networks Using Variable Elimination. | Mark Chavira, Adnan Darwiche |
| 2007 | UAI | Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. | Arthur Choi, Mark Chavira, Adnan Darwiche |
| 2007 | SAT | A Lightweight Component Caching Scheme for Satisfiability Solvers. | Knot Pipatsrisawat, Adnan Darwiche |
| 2006 | AAAI | An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. | Arthur Choi, Adnan Darwiche |
| 2006 | AAAI | Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. | Jinbo Huang, Mark Chavira, Adnan Darwiche |
| 2006 | CADE | Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. | Adnan Darwiche |
| 2006 | UAI | On the Robustness of Most Probable Explanations. | Hei Chan, Adnan Darwiche |
| 2006 | UAI | A Variational Approach for Approximating Bayesian Networks by Edge Deletion. | Arthur Choi, Adnan Darwiche |
| 2006 | SAT | Encoding CNFs to Empower Component Analysis. | Mark Chavira, Adnan Darwiche |
| 2006 | SAT | Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. | Yuliya Zabiyaka, Adnan Darwiche |
| 2005 | AAAI | On Compiling System Models for Faster and More Scalable Diagnosis. | Jinbo Huang, Adnan Darwiche |
| 2005 | IJCAI | Sensitivity Analysis in Markov Networks. | Hei Chan, Adnan Darwiche |
| 2005 | IJCAI | Compiling Bayesian Networks with Local Structure. | Mark Chavira, Adnan Darwiche |
| 2005 | IJCAI | DPLL with a Trace: From SAT to Knowledge Compilation. | Jinbo Huang, Adnan Darwiche |
| 2005 | UAI | Exploiting Evidence in Probabilistic Inference. | Mark Chavira, David Allen, Adnan Darwiche |
| 2005 | UAI | On Bayesian Network Approximation by Edge Deletion. | Adnan Darwiche, Hei Chan, Arthur Choi |
| 2004 | ECAI | New Advances in Compiling CNF into Decomposable Negation Normal Form. | Adnan Darwiche |
| 2004 | ICTAI | Toward Good Elimination Orders for Symbolic SAT Solving. | Jinbo Huang, Adnan Darwiche |
| 2004 | UAI | Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. | Hei Chan, Adnan Darwiche |
| 2004 | SAT | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2004 | SAT | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2003 | ECSQARU | Morphing the Hugin and Shenoy-Shafer Architectures. | James D. Park, Adnan Darwiche |
| 2003 | IJCAI | Optimal Time-Space Tradeoff in Probabilistic Inference. | David Allen, Adnan Darwiche |
| 2003 | IJCAI | On the Revision of Probabilistic Beliefs using Uncertain Evidence. | Hei Chan, Adnan Darwiche |
| 2003 | IJCAI | A Structure-Based Variable Ordering Heuristic for SAT. | Jinbo Huang, Adnan Darwiche |
| 2003 | UAI | New Advances in Inference by Recursive Conditioning. | David Allen, Adnan Darwiche |
| 2003 | UAI | Reasoning about Bayesian Network Classifiers. | Hei Chan, Adnan Darwiche |
| 2003 | UAI | Solving MAP Exactly using Systematic Search. | James D. Park, Adnan Darwiche |
| 2002 | AAAI | A Distance Measure for Bounding Probabilistic Belief Change. | Hei Chan, Adnan Darwiche |
| 2002 | AAAI | A Compiler for Deterministic, Decomposable Negation Normal Form. | Adnan Darwiche |
| 2002 | KR | A Logical Approach to Factoring Belief Networks. | Adnan Darwiche |
| 2001 | ECSQARU | Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. | Adnan Darwiche, Mark Hopkins |
| 2001 | IJCAI | A Perspective on Knowledge Compilation. | Adnan Darwiche, Pierre Marquis |
| 2001 | UAI | When do Numbers Really Matter? | Hei Chan, Adnan Darwiche |
| 2001 | UAI | Approximating MAP using Local Search. | James D. Park, Adnan Darwiche |
| 2000 | UAI | A Differential Approach to Inference in Bayesian Networks. | Adnan Darwiche |
| 2000 | UAI | Any-Space Probabilistic Inference. | Adnan Darwiche |
| 1999 | IJCAI | Compiling Knowledge into Decomposable Negation Normal Form. | Adnan Darwiche |
| 1999 | IJCAI | Utilizing Device Behavior in Structure-Based Diagnosis. | Adnan Darwiche |
| 1998 | KR | Compiling Devices: A Structure-Based Approach. | Adnan Darwiche |
| 1998 | UAI | Dynamic Jointrees. | Adnan Darwiche |
| 1997 | AAAI | The Effect of Observations on the Complexity of Model-Based Diagnosis. | Adnan Darwiche, Gregory M. Provan |
| 1997 | UAI | A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. | Adnan Darwiche, Gregory M. Provan |
| 1996 | AAAI | Utilizing Knowledge-Base Semantics in Graph-Based Algorithms. | Adnan Darwiche |
| 1996 | UAI | Query DAGs: A practical paradigm for implementing belief-network inference. | Adnan Darwiche, Gregory M. Provan |
| 1995 | IJCAI | Model-Based Diagnosis using Causal Networks. | Adnan Darwiche |
| 1995 | UAI | Conditioning Algorithms for Exact and Approximate Inference in Causal Networks. | Adnan Darwiche |
| 1994 | AAAI | Symbolic Causal Networks. | Adnan Darwiche, Judea Pearl |
| 1994 | UAI | Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. | Adnan Darwiche, Moiss Goldszmidt |
| 1994 | UAI | On the Relation between Kappa Calculus and Probabilistic Reasoning. | Adnan Darwiche, Moiss Goldszmidt |
| 1994 | TARK | On the Logic of iterated Belief Revision. | Adnan Darwiche, Judea Pearl |
| 1993 | UAI | Argument Calculus and Networks. | Adnan Darwiche |
| 1992 | AAAI | A Symbolic Generalization of Probability Theory. | Adnan Darwiche, Matthew L. Ginsberg |
| 1992 | UAI | Objection-based Causal Exception Networks. | Adnan Darwiche |