| 2026 | ACL | Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. | Yibo Yan, Shen Wang, Jiahao Huo, Jingheng Ye, Zhendong Chu, Xuming Hu, Philip S. Yu, Carla P. Gomes, Bart Selman, Qingsong Wen |
| 2023 | ICML | Weighted Sampling without Replacement for Deep Top-k Classification. | Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman |
| 2022 | AAAI | Cooperative Multi-Agent Fairness and Equivariant Policies. | Niko A. Grupen, Bart Selman, Daniel D. Lee |
| 2020 | ICAART | A 20-Year Roadmap for AI Research. | Bart Selman |
| 2020 | IJCAI | Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. | Dieqiao Feng, Carla P. Gomes, Bart Selman |
| 2020 | TAMC | Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective. | Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft |
| 2017 | IJCAI | XOR-Sampling for Network Design with Correlated Stochastic Events. | Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes |
| 2016 | ICML | Variable Elimination in the Fourier Domain. | Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2016 | ICRA | Watch-Bot: Unsupervised learning for reminding humans of forgotten actions. | Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena |
| 2015 | AAAI | Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. | Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover |
| 2015 | AAAI | Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2015 | IJCAI | Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2014 | AAAI | Challenges in Materials Discovery - Synthetic Generator and Real Datasets. | Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2014 | AAAI | Designing Fast Absorbing Markov Chains. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2014 | AAAI | Uncovering Hidden Structure through Parallel Problem Decomposition. | Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2014 | CP | On the Erdős Discrepancy Problem. | Ronan Le Bras, Carla P. Gomes, Bart Selman |
| 2014 | HCOMP | A Human Computation Framework for Boosting Combinatorial Solvers. | Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman |
| 2014 | ICML | Low-density Parity Constraints for Hashing-Based Discrete Integration. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2014 | IROS | Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields. | Jaeyong Sung, Bart Selman, Ashutosh Saxena |
| 2013 | ICML | Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2013 | IJCAI | Crowdsourcing Backdoor Identification for Combinatorial Optimization. | Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2013 | IJCAI | Double-Wheel Graphs Are Graceful. | Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2013 | UAI | Optimization With Parity Constraints: From Binary Codes to Discrete Integration. | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2013 | SAT | Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. | Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2012 | AAAI | From Streamlined Combinatorial Search to Efficient Constructive Procedures. | Ronan LeBras, Carla P. Gomes, Bart Selman |
| 2012 | AAMAS | Probabilistic planning with non-linear utility functions and worst-case guarantees. | Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky |
| 2012 | ICRA | Unstructured human activity detection from RGBD images. | Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena |
| 2012 | UAI | Uniform Solution Sampling Using a Constraint Solver As an Oracle. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2012 | SAT | SMT-Aided Combinatorial Materials Discovery. | Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2011 | AAAI | Human Activity Detection from RGBD Images. | Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena |
| 2011 | IJCAI | Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
| 2011 | IJCAI | A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2011 | SAT | Applying UCT to Boolean Satisfiability. | Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman |
| 2010 | AAAI | Approximate Inference for Clusters in Solution Spaces. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2010 | CP | Computing the Density of States of Boolean Formulas. | Stefano Ermon, Carla P. Gomes, Bart Selman |
| 2010 | UAI | Playing games against nature: optimal policies for renewable resource allocation. | Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman |
| 2010 | UAI | Understanding Sampling Style Adversarial Search Methods. | Raghuram Ramanujan, Ashish Sabharwal, Bart Selman |
| 2010 | SAT | An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2009 | IJCAI | Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. | Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
| 2009 | SAC | Message-passing and local heuristics as decimation strategies for satisfiability. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2009 | SAT | Relaxed DPLL Search for MaxSAT. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2008 | CPAIOR | Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2008 | ISAIM | Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. | Lukas Kroc, Bart Selman, Ashish Sabharwal |
| 2007 | AAAI | Counting CSP Solutions Using Generalized XOR Constraints. | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman |
| 2007 | AAAI | Optimal Multi-Agent Scheduling with Constraint Programming. | Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi |
| 2007 | IJCAI | From Sampling to Model Counting. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2007 | IJCAI | SAT Encodings of State-Space Reachability Problems in Numeric Domains. | Jrg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 2007 | IJCAI | Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents. | Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman |
| 2007 | ICTAI | ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming. | Yunsong Guo, Bart Selman |
| 2007 | UAI | Survey Propagation Revisited. | Lukas Kroc, Ashish Sabharwal, Bart Selman |
| 2007 | SAT | Short XORs for Model Counting: From Theory to Practice. | Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman |
| 2006 | AAAI | Model Counting: A New Strategy for Obtaining Good Bounds. | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
| 2006 | ILP | Integration of Learning and Reasoning Techniques. | Bart Selman |
| 2006 | ISAIM | Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. | Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams |
| 2006 | SAT | QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. | Ashish Sabharwal, Carlos Anstegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
| 2005 | AAAI | The Achilles' Heel of QBF. | Carlos Anstegui, Carla P. Gomes, Bart Selman |
| 2005 | SAT | A New Approach to Model Counting. | Wei Wei, Bart Selman |
| 2004 | AAAI | Towards Efficient Sampling: Exploiting Random Walk Strategies. | Wei Wei, Jordan Erenrich, Bart Selman |
| 2004 | CP | Statistical Regimes Across Constrainedness Regions. | Carla P. Gomes, Csar Fernndez, Bart Selman, Christian Bessiere |
| 2004 | CP | Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics. | Bart Selman |
| 2004 | SAT | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |
| 2004 | SAT | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |
| 2003 | CP | Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. | Henry A. Kautz, Bart Selman |
| 2003 | IJCAI | Grid-based SensorDCSP. | Ramn Bjar, Carmel Domshlak, Csar Fernndez, Carla P. Gomes, Bart Selman, Magda Valls |
| 2003 | IJCAI | Sampling Combinatorial Spaces Using Biased Random Walks. | Jordan Erenrich, Bart Selman |
| 2003 | IJCAI | Backdoors To Typical Case Complexity. | Ryan Williams, Carla P. Gomes, Bart Selman |
| 2003 | KDD | Natural communities in large linked networks. | John E. Hopcroft, Omar Khan, Brian Kulis, Bart Selman |
| 2002 | AAAI | Dynamic Restart Policies. | Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman |
| 2002 | CP | Accelerating Random Walks. | Wei Wei, Bart Selman |
| 2001 | CP | Formal Models of Heavy-Tailed Behavior in Combinatorial Search. | Hubie Chen, Carla P. Gomes, Bart Selman |
| 2001 | IJCAI | Balance and Filtering in Structured Satisfiable Problems. | Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
| 2001 | UAI | A Bayesian Approach to Tackling Hard Computational Problems. | Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering |
| 2000 | AAAI | Generating Satisfiable Problem Instances. | Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman |
| 2000 | CP | Analysis of Random Noise and Random Walk Algorithms. | Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen B. Wicker |
| 2000 | ICML | Learning Declarative Control Rules for Constraint-BAsed Planning. | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
| 2000 | LICS | Satisfiability Testing: Recent Developments and Challenge Problems. | Bart Selman |
| 1999 | AAAI | Control Knowledge in Planning: Benefits and Tradeoffs. | Yi-Cheng Huang, Bart Selman, Henry A. Kautz |
| 1999 | IJCAI | Unifying SAT-based and Graph-based Planning. | Henry A. Kautz, Bart Selman |
| 1999 | ICTAI | On the Fine Structure of Large Search Spaces. | Carla P. Gomes, Bart Selman |
| 1999 | ICTAI | Search Strategies for Hybrid Search Spaces. | Carla P. Gomes, Bart Selman |
| 1998 | AAAI | Boosting Combinatorial Search Through Randomization. | Carla P. Gomes, Bart Selman, Henry A. Kautz |
| 1997 | AAAI | Problem Structure in the Presence of Perturbations. | Carla P. Gomes, Bart Selman |
| 1997 | AAAI | Evidence for Invariants in Local Search. | David A. McAllester, Bart Selman, Henry A. Kautz |
| 1997 | CP | Heavy-Tailed Distributions in Combinatorial Search. | Carla P. Gomes, Bart Selman, Nuno Crato |
| 1997 | IJCAI | Ten Challenges in Propositional Reasoning and Search. | Bart Selman, Henry A. Kautz, David A. McAllester |
| 1997 | UAI | Algorithm Portfolio Design: Theory vs. Practice. | Carla P. Gomes, Bart Selman |
| 1996 | AAAI | Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. | Henry A. Kautz, Bart Selman |
| 1996 | AAAI | Agent Amplified Communication. | Henry A. Kautz, Bart Selman, Al Milewski |
| 1996 | AAAI | Challenge Problems for Artificial Intelligence (Panel Statements). | Bart Selman, Rodney A. Brooks, Thomas L. Dean, Eric Horvitz, Tom M. Mitchell, Nils J. Nilsson |
| 1996 | KR | Encoding Plans in Propositional Logic. | Henry A. Kautz, David A. McAllester, Bart Selman |
| 1995 | ICDCS | Intelligent Agents in Distributed Systems (Panel). | Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman |
| 1995 | IJCAI | Systematic Versus Stochastic Constraint Satisfaction. | Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang |
| 1995 | IJCAI | The Comparative Linguistics of Knowledge Representation. | Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman |
| 1995 | IJCAI | Stochastic Search and Phase Transitions: AI Meets Physics. | Bart Selman |
| 1994 | AAAI | An Empirical Evaluation of Knowledge Compilation by Theory Approximation. | Henry A. Kautz, Bart Selman |
| 1994 | AAAI | An Experiment in the Design of Software Agents. | Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming |
| 1994 | AAAI | Noise Strategies for Improving Local Search. | Bart Selman, Henry A. Kautz, Bram Cohen |
| 1994 | ECAI | Domain-Specific Complexity Tradeoffs. | Bart Selman |
| 1994 | KR | Near-Optimal Plans, Tractability, and Reactivity. | Bart Selman |
| 1993 | AAAI | Reasoning With Characteristic Models. | Henry A. Kautz, Michael J. Kearns, Bart Selman |
| 1993 | AAAI | An Empirical Study of Greedy Local Search for Satisfiability Testing. | Bart Selman, Henry A. Kautz |
| 1993 | IJCAI | Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. | Bart Selman, Henry A. Kautz |
| 1993 | ICTAI | Non-Systematic Search Methods for Model Finding. | Bart Selman |
| 1992 | AAAI | Forming Concepts for Fast Inference. | Henry A. Kautz, Bart Selman |
| 1992 | AAAI | Hard and Easy Distributions of SAT Problems. | David G. Mitchell, Bart Selman, Hector J. Levesque |
| 1992 | AAAI | A New Method for Solving Hard Satisfiability Problems. | Bart Selman, Hector J. Levesque, David G. Mitchell |
| 1992 | ECAI | Planning as Satisfiability. | Henry A. Kautz, Bart Selman |
| 1992 | ECAI | Forming Concepts for Fast Inference. | Henry A. Kautz, Bart Selman |
| 1991 | AAAI | Knowledge Compilation using Horn Approximations. | Bart Selman, Henry A. Kautz |
| 1990 | AAAI | Abductive and Default Reasoning: A Computational Core. | Bart Selman, Hector J. Levesque |
| 1989 | IJCAI | The Tractability of Path-Based Inheritance. | Bart Selman, Hector J. Levesque |
| 1989 | KR | Hard Problems for Simple Default Logics. | Henry A. Kautz, Bart Selman |