Bart Selman - RankMe

225 papers A* 61A 35B 6C 2Misc 2Journal 76Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design. CoRR Hai Xia, Carla P. Gomes, Bart Selman, Stefan Szeider
2025	J	`jnl`	LocalEscaper: A Weakly-supervised Framework with Regional Reconstruction for Scalable Neural TSP Solvers. CoRR Junrui Wen, Yifei Li, Bart Selman, Kun He
2025	J	`jnl`	Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning. CoRR Yibo Yan, Shen Wang, Jiahao Huo, Jingheng Ye, Zhendong Chu, Xuming Hu, Philip S. Yu, Carla P. Gomes, Bart Selman, Qingsong Wen
2025	J	`jnl`	SKI-SAT: A CMOS-Compatible Hardware for Solving SAT Problems. IEEE Trans. Circuits Syst. I Regul. Pap. Ahmet Yusuf Salim, Bart Selman, Henry A. Kautz, Zeljko Ignjatovic, Selçuk Köse
2025	J	`jnl`	Structure Amplification on Multi-layer Stochastic Block Models. ACM Trans. Knowl. Discov. Data Kun He, Xiaodong Xin, Jialu Bao, Meng Wang, Bart Selman, John E. Hopcroft
2024	J	`jnl`	SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems. CoRR Ahmet Yusuf Salim, Bart Selman, Henry A. Kautz, Zeljko Ignjatovic, Selçuk Köse
2023	J	`jnl`	Policy-Value Alignment and Robustness in Search-based Multi-Agent Learning. CoRR Niko A. Grupen, Michael Hanlon, Alexis Hao, Daniel D. Lee, Bart Selman
2023	A*	`conf`	Weighted Sampling without Replacement for Deep Top-k Classification. ICML Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman
2022	A*	`conf`	Cooperative Multi-Agent Fairness and Equivariant Policies. AAAI Niko A. Grupen, Bart Selman, Daniel D. Lee
2022	J	`jnl`	Graph Value Iteration. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	J	`jnl`	Haptic perception using optoelectronic robotic flesh for embodied artificially intelligent agents. Sci. Robotics Jose A. Barreiros, Artemis Xu, Sofya Pugach, Narahari Iyengar, Graeme Troxell, Alexander Cornwell, Samantha Hong, Bart Selman, Robert F. Shepherd
2022	A*	`conf`	Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	J	`jnl`	Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2022	A	`conf`	Multi-Agent Curricula and Emergent Implicit Signaling. AAMAS Niko A. Grupen, Daniel D. Lee, Bart Selman
2021	J	`jnl`	A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2021	J	`jnl`	Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
2021	J	`jnl`	Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
2021	J	`jnl`	Curriculum-Driven Multi-Agent Learning and the Role of Implicit Communication in Teamwork. CoRR Niko A. Grupen, Daniel D. Lee, Bart Selman
2021	J	`jnl`	Fairness for Cooperative Multi-Agent Learning with Equivariant Policies. CoRR Niko A. Grupen, Bart Selman, Daniel D. Lee
2021	—	`ch.`	Incomplete Algorithms. Handbook of Satisfiability Henry A. Kautz, Ashish Sabharwal, Bart Selman
2021	—	`ch.`	Model Counting. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal, Bart Selman
2021	J	`jnl`	Structure Amplification on Multi-layer Stochastic Block Models. CoRR Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft
2021	J	`jnl`	Zeitenwende - Turn of Eras. AI Mag. Meinolf Sellmann, Bart Selman
2020	—	`conf`	A 20-Year Roadmap for AI Research. ICAART (1) Bart Selman
2020	A*	`conf`	A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. NeurIPS Dieqiao Feng, Carla P. Gomes, Bart Selman
2020	C	`conf`	Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective. TAMC Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
2020	J	`jnl`	Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective. CoRR Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
2020	J	`jnl`	Low-Bandwidth Communication Emerges Naturally in Multi-Agent Learning Systems. CoRR Niko A. Grupen, Daniel D. Lee, Bart Selman
2020	A*	`conf`	Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. IJCAI Dieqiao Feng, Carla P. Gomes, Bart Selman
2020	J	`jnl`	Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. CoRR Dieqiao Feng, Carla P. Gomes, Bart Selman
2019	J	`jnl`	A 20-Year Community Roadmap for Artificial Intelligence Research in the US. CoRR Yolanda Gil, Bart Selman
2019	J	`jnl`	Computational sustainability: computing for a better world and a sustainable future. Commun. ACM Carla P. Gomes, Thomas G. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina, Stefano Ermon, Fei Fang, Andrew Farnsworth, Alan Fern, Xiaoli Z. Fern, Daniel Fink, Douglas H. Fisher, Alexander Flecker, Daniel Freund, Angela Fuller, John M. Gregoire, John E. Hopcroft, Steve Kelling, J. Zico Kolter, Warren B. Powell, Nicole D. Sintov, John S. Selker, Bart Selman, Daniel Sheldon, David B. Shmoys, Milind Tambe, Weng-Keen Wong, Christopher Wood, Xiaojian Wu, Yexiang Xue, Amulya Yadav, Abdul-Aziz Yakubu, Mary Lou Zeeman
2018	A*	`conf`	Understanding Batch Normalization. NeurIPS Johan Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger
2018	J	`jnl`	Understanding Batch Normalization. CoRR Johan Bjorck, Carla P. Gomes, Bart Selman
2018	J	`jnl`	Watch-n-Patch: Unsupervised Learning of Actions and Relations. IEEE Trans. Pattern Anal. Mach. Intell. Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena
2017	A*	`conf`	XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
2017	J	`jnl`	XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
2016	—	`ch.`	DPLL: The Core of Modern Satisfiability Solvers. Martin Davis on Computability, Computational Logic, and Mathematical Foundations Donald W. Loveland, Ashish Sabharwal, Bart Selman
2016	—	`conf`	Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
2016	J	`jnl`	Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
2016	A*	`conf`	Variable Elimination in the Fourier Domain. ICML Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman
2016	A*	`conf`	Watch-Bot: Unsupervised learning for reminding humans of forgotten actions. ICRA Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena
2016	J	`jnl`	Watch-n-Patch: Unsupervised Learning of Actions and Relations. CoRR Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena
2015	J	`jnl`	Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter. AI Mag. Stuart Russell, Tom Dietterich, Eric Horvitz, Bart Selman, Francesca Rossi, Demis Hassabis, Shane Legg, Mustafa Suleyman, Dileep George, D. Scott Phoenix
2015	A*	`conf`	Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
2015	—	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. AAAI Workshop: Computational Sustainability Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2015	A*	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2015	J	`jnl`	Variable Elimination in Fourier Domain. CoRR Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman
2015	J	`jnl`	Watch-Bot: Unsupervised Learning for Reminding Humans of Forgotten Actions. CoRR Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena
2014	B	`conf`	A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman
2014	A*	`conf`	Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2014	A*	`conf`	Designing Fast Absorbing Markov Chains. AAAI Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014	A*	`conf`	Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2014	J	`jnl`	On the Erdos Discrepancy Problem. CoRR Ronan Le Bras, Carla P. Gomes, Bart Selman
2014	A	`conf`	On the Erdős Discrepancy Problem. CP Ronan Le Bras, Carla P. Gomes, Bart Selman
2014	J	`jnl`	Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
2014	A	`conf`	Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields. IROS Jaeyong Sung, Bart Selman, Ashutosh Saxena
2014	A*	`conf`	Uncovering Hidden Structure through Parallel Problem Decomposition. AAAI Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
2013	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems CoRR Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2013	J	`jnl`	Algorithm Portfolio Design: Theory vs. Practice CoRR Carla P. Gomes, Bart Selman
2013	A*	`conf`	Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2013	A*	`conf`	Double-Wheel Graphs Are Graceful. IJCAI Ronan LeBras, Carla P. Gomes, Bart Selman
2013	—	`conf`	Embed and Project: Discrete Sampling with Universal Hashing. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	J	`jnl`	Learning Sequences of Controllers for Complex Manipulation Tasks. CoRR Jaeyong Sung, Bart Selman, Ashutosh Saxena
2013	J	`jnl`	Learning policies for battery usage optimization in electric vehicles. Mach. Learn. Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
2013	A	`conf`	Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	J	`jnl`	Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	A	`conf`	Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman
2013	J	`jnl`	Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization CoRR Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2013	—	`conf`	Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012	—	`conf`	Density Propagation and Improved Bounds on the Partition Function. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2012	A*	`conf`	From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI Ronan LeBras, Carla P. Gomes, Bart Selman
2012	—	`conf`	Learning Policies for Battery Usage Optimization in Electric Vehicles. ECML/PKDD (2) Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
2012	J	`jnl`	Playing games against nature: optimal policies for renewable resource allocation CoRR Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2012	A	`conf`	Probabilistic planning with non-linear utility functions and worst-case guarantees. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky
2012	A*	`ed.`	Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Jörg Hoffmann, Bart Selman
2012	A	`conf`	SMT-Aided Combinatorial Materials Discovery. SAT Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover
2012	J	`jnl`	Survey Propagation Revisited CoRR Lukas Kroc, Ashish Sabharwal, Bart Selman
2012	J	`jnl`	Understanding Sampling Style Adversarial Search Methods CoRR Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2012	J	`jnl`	Uniform Solution Sampling Using a Constraint Solver As an Oracle CoRR Stefano Ermon, Carla P. Gomes, Bart Selman
2012	A	`conf`	Uniform Solution Sampling Using a Constraint Solver As an Oracle. UAI Stefano Ermon, Carla P. Gomes, Bart Selman
2012	A*	`conf`	Unstructured human activity detection from RGBD images. ICRA Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
2011	A*	`conf`	A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI Stefano Ermon, Carla P. Gomes, Bart Selman
2011	A	`conf`	A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman
2011	—	`conf`	Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
2011	A	`conf`	Applying UCT to Boolean Satisfiability. SAT Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
2011	J	`jnl`	Human Activity Detection from RGBD Images CoRR Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
2011	—	`conf`	Human Activity Detection from RGBD Images. Plan, Activity, and Intent Recognition Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
2011	J	`jnl`	Leveraging belief propagation, backtrack search, and statistics for model counting. Ann. Oper. Res. Lukas Kroc, Ashish Sabharwal, Bart Selman
2011	—	`conf`	Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
2011	A*	`conf`	Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2011	J	`jnl`	S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. Artif. Intell. Ashish Sabharwal, Bart Selman
2011	A*	`conf`	Trade-Offs in Sampling-Based Adversarial Planning. ICAPS Raghuram Ramanujan, Bart Selman
2010	A	`conf`	An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT Lukas Kroc, Ashish Sabharwal, Bart Selman
2010	—	`conf`	Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation Lukas Kroc, Ashish Sabharwal, Bart Selman
2010	A	`conf`	Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS Stefano Ermon, Carla P. Gomes, Bart Selman
2010	A	`conf`	Computing the Density of States of Boolean Formulas. CP Stefano Ermon, Carla P. Gomes, Bart Selman
2010	A*	`conf`	On Adversarial Search Spaces and Sampling-Based Planning. ICAPS Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2010	A	`conf`	Playing games against nature: optimal policies for renewable resource allocation. UAI Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
2010	J	`jnl`	Special issue on learning and intelligent optimization. Ann. Math. Artif. Intell. Roberto Battiti, Bart Selman, Thomas Stützle
2010	A	`conf`	Understanding Sampling Style Adversarial Search Methods. UAI Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
2009	—	`ch.`	Incomplete Algorithms. Handbook of Satisfiability Henry A. Kautz, Ashish Sabharwal, Bart Selman
2009	A*	`conf`	Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
2009	Misc	`conf`	Message-passing and local heuristics as decimation strategies for satisfiability. SAC Lukas Kroc, Ashish Sabharwal, Bart Selman
2009	—	`ch.`	Model Counting. Handbook of Satisfiability Carla P. Gomes, Ashish Sabharwal, Bart Selman
2009	A	`conf`	Relaxed DPLL Search for MaxSAT. SAT Lukas Kroc, Ashish Sabharwal, Bart Selman
2008	—	`conf`	Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS Lukas Kroc, Ashish Sabharwal, Bart Selman
2008	B	`conf`	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR Lukas Kroc, Ashish Sabharwal, Bart Selman
2008	Misc	`conf`	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM Lukas Kroc, Bart Selman, Ashish Sabharwal
2008	—	`ch.`	Satisfiability Solvers. Handbook of Knowledge Representation Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman
2007	J	`jnl`	Bayes-Nash equilibria for SIGecom Exch. Ioannis A. Vetsikas, Bart Selman
2007	A*	`conf`	Counting CSP Solutions Using Generalized XOR Constraints. AAAI Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman
2007	—	`conf`	ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming. ICTAI (2) Yunsong Guo, Bart Selman
2007	A*	`conf`	From Sampling to Model Counting. IJCAI Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	A*	`conf`	Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents. IJCAI Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman
2007	A*	`conf`	Optimal Multi-Agent Scheduling with Constraint Programming. AAAI Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi
2007	A*	`conf`	SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
2007	—	`conf`	Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	A	`conf`	Short XORs for Model Counting: From Theory to Practice. SAT Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman
2007	J	`jnl`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning CoRR Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007	J	`jnl`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Log. Methods Comput. Sci. Jörg Hoffmann, Carla P. Gomes, Bart Selman
2007	A	`conf`	Survey Propagation Revisited. UAI Lukas Kroc, Ashish Sabharwal, Bart Selman
2007	J	`jnl`	The state of SAT. Discret. Appl. Math. Henry A. Kautz, Bart Selman
2006	—	`conf`	Constraint Programming for Distributed Planning and Scheduling. AAAI Spring Symposium: Distributed Plan and Schedule Management Carla P. Gomes, Willem Jan van Hoeve, Bart Selman
2006	—	`conf`	Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. AI&M Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams
2006	B	`conf`	Integration of Learning and Reasoning Techniques. ILP Bart Selman
2006	A*	`conf`	Model Counting: A New Strategy for Obtaining Good Bounds. AAAI Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006	—	`conf`	Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS Carla P. Gomes, Ashish Sabharwal, Bart Selman
2006	A	`conf`	QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. SAT Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman
2006	A*	`conf`	Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS Jörg Hoffmann, Carla P. Gomes, Bart Selman
2005	A	`conf`	A New Approach to Model Counting. SAT Wei Wei, Bart Selman
2005	C	`conf`	Autonomous trading agent design in the presence of tradeoffs. ICEC Ioannis A. Vetsikas, Bart Selman
2005	J	`jnl`	Regular Random J. Autom. Reason. Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman
2005	J	`jnl`	Sensor networks and distributed CSP: communication, computation and complexity. Artif. Intell. Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls
2005	J	`jnl`	Statistical Regimes Across Constrainedness Regions. Constraints An Int. J. Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière
2005	A*	`conf`	The Achilles' Heel of QBF. AAAI Carlos Ansótegui, Carla P. Gomes, Bart Selman
2004	A	`conf`	A Methodology and Equilibria for the Design Tradeoffs of Autonomous Trading Agents. AAMAS Ioannis A. Vetsikas, Bart Selman
2004	A	`conf`	Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics. CP Bart Selman
2004	A	`conf`	From Spin Glasses to Hard Satisfiable Formulas. SAT Haixia Jia, Cristopher Moore, Bart Selman
2004	—	`conf`	From Spin Glasses to Hard Satisfiable Formulas. SAT (Selected Papers Haixia Jia, Cristopher Moore, Bart Selman
2004	A	`conf`	Statistical Regimes Across Constrainedness Regions. CP Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere
2004	A*	`conf`	Towards Efficient Sampling: Exploiting Random Walk Strategies. AAAI Wei Wei, Jordan Erenrich, Bart Selman
2003	A	`conf`	A principled study of the design tradeoffs for autonomous trading agents. AAMAS Ioannis A. Vetsikas, Bart Selman
2003	A*	`conf`	Backdoors To Typical Case Complexity. IJCAI Ryan Williams, Carla P. Gomes, Bart Selman
2003	A*	`conf`	Grid-based SensorDCSP. IJCAI Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls
2003	A*	`conf`	Natural communities in large linked networks. KDD John E. Hopcroft, Omar Khan, Brian Kulis, Bart Selman
2003	A*	`conf`	Sampling Combinatorial Spaces Using Biased Random Walks. IJCAI Jordan Erenrich, Bart Selman
2003	A	`conf`	Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search. CP Henry A. Kautz, Bart Selman
2002	A	`conf`	Accelerating Random Walks. CP Wei Wei, Bart Selman
2002	—	`conf`	Dynamic Restart Policies. AAAI/IAAI Henry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman
2001	J	`jnl`	A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electron. Notes Discret. Math. Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	A	`conf`	A Bayesian Approach to Tackling Hard Computational Problems. UAI Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
2001	J	`jnl`	Algorithm portfolios. Artif. Intell. Carla P. Gomes, Bart Selman
2001	J	`jnl`	Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electron. Notes Discret. Math. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	A*	`conf`	Balance and Filtering in Structured Satisfiable Problems. IJCAI Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
2001	J	`jnl`	Editorial. Theor. Comput. Sci. Olivier Dubois, Rémi Monasson, Bart Selman, Riccardo Zecchina
2001	A	`conf`	Formal Models of Heavy-Tailed Behavior in Combinatorial Search. CP Hubie Chen, Carla P. Gomes, Bart Selman
2001	J	`jnl`	Preface: Volume 9. Electron. Notes Discret. Math. Henry A. Kautz, Bart Selman
2000	A	`conf`	Analysis of Random Noise and Random Walk Algorithms. CP Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen B. Wicker
2000	J	`jnl`	Compute-intensive methods in artificial intelligence. Ann. Math. Artif. Intell. Bart Selman
2000	—	`conf`	Generating Satisfiable Problem Instances. AAAI/IAAI Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman
2000	J	`jnl`	Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reason. Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz
2000	J	`jnl`	Hybrid Search Strategies for Heterogeneous Search Spaces. Int. J. Artif. Intell. Tools Carla P. Gomes, Bart Selman
2000	A*	`ed.`	KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. KR Anthony G. Cohn, Fausto Giunchiglia, Bart Selman
2000	A*	`conf`	Learning Declarative Control Rules for Constraint-BAsed Planning. ICML Yi-Cheng Huang, Bart Selman, Henry A. Kautz
2000	A*	`conf`	Satisfiability Testing: Recent Developments and Challenge Problems. LICS Bart Selman
2000	J	`jnl`	The AIPS-98 Planning Competition. AI Mag. Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox
1999	J	`jnl`	2+p-SAT: Relation of typical-case complexity to the nature of the phase transition. Random Struct. Algorithms Rémi Monasson, Riccardo Zecchina, Scott Kirkpatrick, Bart Selman, Lidror Troyansky
1999	—	`conf`	Control Knowledge in Planning: Benefits and Tradeoffs. AAAI/IAAI Yi-Cheng Huang, Bart Selman, Henry A. Kautz
1999	B	`conf`	On the Fine Structure of Large Search Spaces. ICTAI Carla P. Gomes, Bart Selman
1999	B	`conf`	Search Strategies for Hybrid Search Spaces. ICTAI Carla P. Gomes, Bart Selman
1999	A*	`conf`	Unifying SAT-based and Graph-based Planning. IJCAI Henry A. Kautz, Bart Selman
1998	—	`conf`	Boosting Combinatorial Search Through Randomization. AAAI/IAAI Carla P. Gomes, Bart Selman, Henry A. Kautz
1998	—	`conf`	Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. AIPS Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff
1998	—	`conf`	The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. AIPS Henry A. Kautz, Bart Selman
1997	A	`conf`	Algorithm Portfolio Design: Theory vs. Practice. UAI Carla P. Gomes, Bart Selman
1997	—	`conf`	Evidence for Invariants in Local Search. AAAI/IAAI David A. McAllester, Bart Selman, Henry A. Kautz
1997	A	`conf`	Heavy-Tailed Distributions in Combinatorial Search. CP Carla P. Gomes, Bart Selman, Nuno Crato
1997	—	`conf`	Problem Structure in the Presence of Perturbations. AAAI/IAAI Carla P. Gomes, Bart Selman
1997	J	`jnl`	Referral Web: Combining Social Networks and Collaborative Filtering. Commun. ACM Henry A. Kautz, Bart Selman, Mehul A. Shah
1997	—	`conf`	Ten Challenges in Propositional Reasoning and Search. IJCAI (1) Bart Selman, Henry A. Kautz, David A. McAllester
1997	J	`jnl`	The Hidden Web. AI Mag. Henry A. Kautz, Bart Selman, Mehul A. Shah
1996	—	`conf`	A general stochastic approach to solving problems with hard and soft constraints. Satisfiability Problem: Theory and Applications Henry A. Kautz, Bart Selman, YueYen Jiang
1996	—	`conf`	Agent Amplified Communication. AAAI/IAAI, Vol. 1 Henry A. Kautz, Bart Selman, Al Milewski
1996	—	`conf`	Challenge Problems for Artificial Intelligence (Panel Statements). AAAI/IAAI, Vol. 2 Bart Selman, Rodney A. Brooks, Thomas L. Dean, Eric Horvitz, Tom M. Mitchell, Nils J. Nilsson
1996	J	`jnl`	Computational Challenges in Artificial Intelligence. ACM Comput. Surv. Bart Selman
1996	J	`jnl`	Critical Behavior in the Computational Cost of Satisfiability Testing. Artif. Intell. Bart Selman, Scott Kirkpatrick
1996	A*	`conf`	Encoding Plans in Propositional Logic. KR Henry A. Kautz, David A. McAllester, Bart Selman
1996	J	`jnl`	Generating Hard Satisfiability Problems. Artif. Intell. Bart Selman, David G. Mitchell, Hector J. Levesque
1996	J	`jnl`	Knowledge Compilation and Theory Approximation. J. ACM Bart Selman, Henry A. Kautz
1996	—	`conf`	Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. AAAI/IAAI, Vol. 2 Henry A. Kautz, Bart Selman
1996	J	`jnl`	Support Set Selection for Abductive and Default Reasoning. Artif. Intell. Bart Selman, Hector J. Levesque
1995	J	`jnl`	Horn Approximations of Empirical Data. Artif. Intell. Henry A. Kautz, Michael J. Kearns, Bart Selman
1995	A	`conf`	Intelligent Agents in Distributed Systems (Panel). ICDCS Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman
1995	A*	`conf`	Stochastic Search and Phase Transitions: AI Meets Physics. IJCAI (1) Bart Selman
1995	A*	`conf`	Systematic Versus Stochastic Constraint Satisfaction. IJCAI Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang
1995	A*	`conf`	The Comparative Linguistics of Knowledge Representation. IJCAI (1) Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman
1994	A*	`conf`	An Empirical Evaluation of Knowledge Compilation by Theory Approximation. AAAI Henry A. Kautz, Bart Selman
1994	A*	`conf`	An Experiment in the Design of Software Agents. AAAI Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming
1994	J	`jnl`	Bottom-Up Design of Software Agents. Commun. ACM Henry A. Kautz, Bart Selman, Michael H. Coen
1994	A	`conf`	Domain-Specific Complexity Tradeoffs. ECAI Bart Selman
1994	A*	`conf`	Near-Optimal Plans, Tractability, and Reactivity. KR Bart Selman
1994	A*	`conf`	Noise Strategies for Improving Local Search. AAAI Bart Selman, Henry A. Kautz, Bram Cohen
1993	A*	`conf`	An Empirical Study of Greedy Local Search for Satisfiability Testing. AAAI Bart Selman, Henry A. Kautz
1993	A*	`conf`	Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems. IJCAI Bart Selman, Henry A. Kautz
1993	—	`conf`	Local search strategies for satisfiability testing. Cliques, Coloring, and Satisfiability Bart Selman, Henry A. Kautz, Bram Cohen
1993	B	`conf`	Non-Systematic Search Methods for Model Finding. ICTAI Bart Selman
1993	A*	`conf`	Reasoning With Characteristic Models. AAAI Henry A. Kautz, Michael J. Kearns, Bart Selman
1993	J	`jnl`	The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. Bart Selman, Hector J. Levesque
1992	A*	`conf`	A New Method for Solving Hard Satisfiability Problems. AAAI Bart Selman, Hector J. Levesque, David G. Mitchell
1992	A*	`conf`	Forming Concepts for Fast Inference. AAAI Henry A. Kautz, Bart Selman
1992	—	`conf`	Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning Henry A. Kautz, Bart Selman
1992	A*	`conf`	Hard and Easy Distributions of SAT Problems. AAAI David G. Mitchell, Bart Selman, Hector J. Levesque
1992	A	`conf`	Planning as Satisfiability. ECAI Henry A. Kautz, Bart Selman
1991	—	`conf`	A General Framework for Knowledge Compilation. PDK Henry A. Kautz, Bart Selman
1991	J	`jnl`	Hard Problems for Simple Default Logics. Artif. Intell. Henry A. Kautz, Bart Selman
1991	A*	`conf`	Knowledge Compilation using Horn Approximations. AAAI Bart Selman, Henry A. Kautz
1991	—	`ch.`	The Tractability of Path-Based Inheritance. Principles of Semantic Networks Bart Selman, Hector J. Levesque
1991	—	`—`	Tractable default reasoning. Bart Selman
1990	A*	`conf`	Abductive and Default Reasoning: A Computational Core. AAAI Bart Selman, Hector J. Levesque
1990	J	`jnl`	Model-Preference Default Theories. Artif. Intell. Bart Selman, Henry A. Kautz
1989	J	`jnl`	Connectionist systems for natural language understanding. Artif. Intell. Rev. Bart Selman
1989	A*	`conf`	Hard Problems for Simple Default Logics. KR Henry A. Kautz, Bart Selman
1989	A*	`conf`	The Tractability of Path-Based Inheritance. IJCAI Bart Selman, Hector J. Levesque
1988	—	`conf`	The Complexity of Model-Preference Default Theories. NMR Bart Selman, Henry A. Kautz