Selman, Bart

76 publications

ICML 2023 Weighted Sampling Without Replacement for Deep Top-$k$ Classification Dieqiao Feng, Yuanqi Du, Carla P Gomes, Bart Selman

AAAI 2022 Cooperative Multi-Agent Fairness and Equivariant Policies Niko A. Grupen, Bart Selman, Daniel D. Lee

NeurIPS 2022 Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-Based Best-First Search for Sokoban Planning Dieqiao Feng, Carla P. Gomes, Bart Selman

NeurIPS 2020 A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances Dieqiao Feng, Carla P. Gomes, Bart Selman

IJCAI 2020 Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning Dieqiao Feng, Carla P. Gomes, Bart Selman

NeurIPS 2018 Understanding Batch Normalization Nils Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger

IJCAI 2017 XOR-Sampling for Network Design with Correlated Stochastic Events Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes

NeurIPS 2016 Solving Marginal MAP Problems with NP Oracles and Parity Constraints Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman

ICML 2016 Variable Elimination in the Fourier Domain Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla, Bart Selman

AAAI 2015 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

IJCAI 2015 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

AAAI 2014 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

AAAI 2014 Designing Fast Absorbing Markov Chains Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

ICML 2014 Low-Density Parity Constraints for Hashing-Based Discrete Integration Stefano Ermon, Carla Gomes, Ashish Sabharwal, Bart Selman

AAAI 2014 Uncovering Hidden Structure Through Parallel Problem Decomposition Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

IJCAI 2013 Crowdsourcing Backdoor Identification for Combinatorial Optimization Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover

IJCAI 2013 Double-Wheel Graphs Are Graceful Ronan LeBras, Carla P. Gomes, Bart Selman

NeurIPS 2013 Embed and Project: Discrete Sampling with Universal Hashing Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

MLJ 2013 Learning Policies for Battery Usage Optimization in Electric Vehicles Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman

UAI 2013 Optimization with Parity Constraints: From Binary Codes to Discrete Integration Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

ICML 2013 Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization Stefano Ermon, Carla Gomes, Ashish Sabharwal, Bart Selman

NeurIPS 2012 Density Propagation and Improved Bounds on the Partition Function Stefano Ermon, Ashish Sabharwal, Bart Selman, Carla P. Gomes

AAAI 2012 From Streamlined Combinatorial Search to Efficient Constructive Procedures Ronan LeBras, Carla P. Gomes, Bart Selman

ECML-PKDD 2012 Learning Policies for Battery Usage Optimization in Electric Vehicles Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman

AAAI 2012 Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada Jörg Hoffmann, Bart Selman

UAI 2012 Uniform Solution Sampling Using a Constraint Solver as an Oracle Stefano Ermon, Carla P. Gomes, Bart Selman

IJCAI 2011 A Flat Histogram Method for Computing the Density of States of Combinatorial Problems Stefano Ermon, Carla P. Gomes, Bart Selman

NeurIPS 2011 Accelerated Adaptive Markov Chain for Partition Function Computation Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

IJCAI 2011 Risk-Sensitive Policies for Sustainable Renewable Resource Allocation Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman

UAI 2010 Playing Games Against Nature: Optimal Policies for Renewable Resource Allocation Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman

UAI 2010 Understanding Sampling Style Adversarial Search Methods Raghuram Ramanujan, Ashish Sabharwal, Bart Selman

IJCAI 2009 Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

NeurIPS 2008 Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation Lukas Kroc, Ashish Sabharwal, Bart Selman

AAAI 2007 Counting CSP Solutions Using Generalized XOR Constraints Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman

IJCAI 2007 From Sampling to Model Counting Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman

IJCAI 2007 Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman

AAAI 2007 Optimal Multi-Agent Scheduling with Constraint Programming Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi

IJCAI 2007 SAT Encodings of State-Space Reachability Problems in Numeric Domains Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz

UAI 2007 Survey Propagation Revisited Lukas Kroc, Ashish Sabharwal, Bart Selman

AAAI 2006 Model Counting: A New Strategy for Obtaining Good Bounds Carla P. Gomes, Ashish Sabharwal, Bart Selman

NeurIPS 2006 Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints Carla P. Gomes, Ashish Sabharwal, Bart Selman

AAAI 2005 The Achilles' Heel of QBF Carlos Ansótegui, Carla P. Gomes, Bart Selman

AAAI 2004 Towards Efficient Sampling: Exploiting Random Walk Strategies Wei Wei, Jordan Erenrich, Bart Selman

IJCAI 2003 Backdoors to Typical Case Complexity Ryan Williams, Carla P. Gomes, Bart Selman

IJCAI 2003 Grid-Based SensorDCSP Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls

IJCAI 2003 Sampling Combinatorial Spaces Using Biased Random Walks Jordan Erenrich, Bart Selman

AAAI 2002 Dynamic Restart Policies Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman

UAI 2001 A Bayesian Approach to Tackling Hard Computational Problems Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering

IJCAI 2001 Balance and Filtering in Structured Satisfiable Problems Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel

AAAI 2000 Generating Satisfiable Problem Instances Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman

ICML 2000 Learning Declarative Control Rules for Constraint-BAsed Planning Yi-Cheng Huang, Bart Selman, Henry A. Kautz

AAAI 1999 Control Knowledge in Planning: Benefits and Tradeoffs Yi-Cheng Huang, Bart Selman, Henry A. Kautz

IJCAI 1999 Unifying SAT-Based and Graph-Based Planning Henry A. Kautz, Bart Selman

AAAI 1998 Boosting Combinatorial Search Through Randomization Carla P. Gomes, Bart Selman, Henry A. Kautz

UAI 1997 Algorithm Portfolio Design: Theory vs. Practice Carla P. Gomes, Bart Selman

AAAI 1997 Evidence for Invariants in Local Search David A. McAllester, Bart Selman, Henry A. Kautz

AAAI 1997 Problem Structure in the Presence of Perturbations Carla P. Gomes, Bart Selman

IJCAI 1997 Ten Challenges in Propositional Reasoning and Search Bart Selman, Henry A. Kautz, David A. McAllester

AAAI 1996 Agent Amplified Communication Henry A. Kautz, Bart Selman, Al Milewski

AAAI 1996 Challenge Problems for Artificial Intelligence (Panel Statements) Bart Selman, Rodney A. Brooks, Thomas L. Dean, Eric Horvitz, Tom M. Mitchell, Nils J. Nilsson

AAAI 1996 Pushing the Envelope: Planning, Propositional Logic and Stochastic Search Henry A. Kautz, Bart Selman

IJCAI 1995 Stochastic Search and Phase Transitions: AI Meets Physics Bart Selman

IJCAI 1995 Systematic Versus Stochastic Constraint Satisfaction Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang

IJCAI 1995 The Comparative Linguistics of Knowledge Representation Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman

AAAI 1994 An Empirical Evaluation of Knowledge Compilation by Theory Approximation Henry A. Kautz, Bart Selman

AAAI 1994 An Experiment in the Design of Software Agents Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming

AAAI 1994 Noise Strategies for Improving Local Search Bart Selman, Henry A. Kautz, Bram Cohen

AAAI 1993 An Empirical Study of Greedy Local Search for Satisfiability Testing Bart Selman, Henry A. Kautz

IJCAI 1993 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems Bart Selman, Henry A. Kautz

AAAI 1993 Reasoning with Characteristic Models Henry A. Kautz, Michael J. Kearns, Bart Selman

AAAI 1992 A New Method for Solving Hard Satisfiability Problems Bart Selman, Hector J. Levesque, David G. Mitchell

AAAI 1992 Forming Concepts for Fast Inference Henry A. Kautz, Bart Selman

AAAI 1992 Hard and Easy Distributions of SAT Problems David G. Mitchell, Bart Selman, Hector J. Levesque

AAAI 1991 Knowledge Compilation Using Horn Approximations Bart Selman, Henry A. Kautz

AAAI 1990 Abductive and Default Reasoning: A Computational Core Bart Selman, Hector J. Levesque

IJCAI 1989 The Tractability of Path-Based Inheritance Bart Selman, Hector J. Levesque