(current as of Jan 2010)

Ashish Sabharwal

Research Associate

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

Cornell-CS Cornell-CS
   Intelligent Information Systems Institute (IISI)
   Institute for Computational Sustainability (ICS)

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

Curriculum Vitae : full   |   short   |   without teaching statement
Research Statement : pdf
Teaching Statement : pdf
Short Bio : txt

Selected Publications     (complete list available at my homepage)

  1. Model Counting: A New Strategy for Obtaining Good Bounds [pdf]
    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
        Combinatorial reasoning beyond search; Converting solvers into counters and samplers

  2. Towards Understanding and Harnessing the Potential of Clause Learning [pdf]
    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

  3. Connections in Networks: Hardness of Feasibility versus Optimality [pdf]
    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, May 2007/2008.
        Modeling and solving the Wildlife Corridor Design problem with MIP optimization

  4. Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation [pdf]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    NIPS-08. 22nd Annual Conference on Neural Information Processing Systems, pp 873-880, Vancouver, BC, Canada, Dec 2008.
        Probabilistic inference; Message passing; Solution clustering

  5. New Filtering Algorithms for Combinations of Among Constraints [journal version, conference version]
    Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
    Constraints journal, volume 14, number 2, pp 273-292, June 2009.
        Best Paper Award at the CP-06 Conference
        Constraint programming; First poly-time filtering algorithm for Sequence constraint

  6. Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings [journal version, conference version]
    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

  7. Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT [pdf]
    Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
    IJCAI-09. 21st International Joint Conference on Artificial Intelligence, pp 544-551, Pasadena, CA, July 2009.
        Multi-Core strategy combining local and systematic search for boolean optimization