Bart Selman
Bart Selman studies automated reasoning, combinatorial search and planning, including shared work on solving Boolean satisfiability problems. Selman, Hector Levesque and David Mitchell published A New Method for Solving Hard Satisfiability Problems at AAAI. In the same year Henry Kautz and Selman published Planning as Satisfiability at ECAI. These shared papers connect search methods with logical representations of planning problems. Selman coauthored papers with Stefano Ermon, Gomes and others on renewable resource allocation, risk-sensitive policies and battery usage optimization in electric vehicles. His research interests include computational sustainability, reasoning procedures and planning.
- Now at
- Cornell University
- Works
- 320
- Citations
- 19,479
- h-index
- 62
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1992
Search and planning with Boolean formulas
Selman, Hector Levesque and David Mitchell published A New Method for Solving Hard Satisfiability Problems at AAAI. In the same year Henry Kautz and Selman published Planning as Satisfiability at ECAI. These papers connect search methods with logical representations of planning problems.
-
1994–1998
Studying difficult search problems
With Scott Kirkpatrick, Selman published work on critical behavior in random Boolean expressions in Science in 1994. With Carla Gomes and Henry Kautz, he published research on boosting combinatorial search through randomization in 1998. His reasoning research connects statistical physics and randomized methods.
-
2003–2006
Structure, sampling and model counting
Selman, Ryan Williams and Gomes published work on backdoor variables in 2003. With Wei Wei and Jordan Erenrich, he introduced SampleSat in a 2004 paper on solution sampling. Gomes, Ashish Sabharwal and Selman then shared the AAAI 2006 best paper award for work on model counting.
-
2010–2012
Applying reasoning to resource decisions
Shared papers with Stefano Ermon, Gomes and others studied renewable resource allocation, risk-sensitive policies and battery usage optimization in electric vehicles. His research interests include computational sustainability, reasoning procedures and planning.
Sources and credits
Photo: www.cs.cornell.edu; Bart Selman profile photograph; creator not stated. License: Not stated by source. Source: cs.cornell.edu. Cropped to a square and resized. Ask us to remove or replace this photo.