(current as of Jan 2010)
Dept. of Computer Science
5160 Upson Hall, Cornell University
Ithaca, NY 14853-7501, U.S.A.
tel 206.225.5157 | fax 607.255.4428
email: first-six-letters-of-lastname at c s dot cor nell dot edu
Intelligent Information Systems Institute
Institute for Computational Sustainability
My Homepage: http://www.cs.cornell.edu/~sabhar
Research Interests: Artificial Intelligence;
Combinatorial Reasoning; Constraints; Probabilistic Inference;
Multi-Agent and Adversarial Reasoning; Optimization. Application
areas: Planning, Scheduling, Verification, Diagnosis.
Recent Focus: Computational Sustainability
(complete list available at my homepage)
- Model Counting: A New Strategy for
Obtaining Good Bounds
Carla P. Gomes, Ashish Sabharwal, Bart Selman
AAAI-06. 21st National Conference
on Artificial Intelligence, pp 54-61, Boston, MA, Jul 2006.
Outstanding Paper Award
beyond search; Converting solvers into counters and samplers
- Towards Understanding and Harnessing the
Potential of Clause Learning
Paul Beame, Henry Kautz, Ashish Sabharwal
JAIR. Journal of Artificial
Intelligence Research, volume 22, pp 319-351, Dec 2004.
Runner-up for the
IJCAI-JAIR 5-Year Best Paper Prize for 2003-2008
First formal analysis of
Clause Learning and Restarts in SAT solvers
- Connections in Networks: Hardness of
Feasibility versus Optimality
Jon Conrad, Carla P. Gomes, Willem-Jan van Hoeve, Ashish
Sabharwal, Jordan Suter
CPAIOR-07 / CPAIOR-08.
International Conference on Integration of AI and OR Techniques in
Constraint Programming for Combinatorial Optimization Problems,
Modeling and solving the
Wildlife Corridor Design problem with MIP optimization
- Counting Solution Clusters in Graph
Coloring Problems Using Belief Propagation
Lukas Kroc, Ashish Sabharwal, Bart Selman
NIPS-08. 22nd Annual Conference on
Neural Information Processing Systems, pp 873-880, Vancouver, BC,
Canada, Dec 2008.
Message passing; Solution clustering
- New Filtering
Algorithms for Combinations of Among Constraints
Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau,
Constraints journal, volume 14,
number 2, pp 273-292, June 2009.
Best Paper Award at the
First poly-time filtering algorithm for Sequence constraint
- Friends or Foes?
On Planning as Satisfiability and Abstract CNF Encodings
Carmel Domshlak, Joerg Hoffmann, Ashish Sabharwal
JAIR. Journal of Artificial
Intelligence Research, volume 36, pp 415-469, Dec 2009.
Nominated for the
Best Paper Award at the ICAPS-06 Confernce
First analysis of
Abstraction techniques in the context of SAT-based planning
- Integrating Systematic and Local Search
Paradigms: A New Strategy for MaxSAT
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
IJCAI-09. 21st International Joint
Conference on Artificial Intelligence, pp 544-551, Pasadena, CA,
combining local and systematic search for boolean optimization