CONFERENCES      |      JOURNALS      |      BOOK CHAPTERS & SURVEYS      |      WORKSHOPS, INVITED, OTHERS      |      TEACHING/TUTORIALS

Conference Publications (refereed and archived)

[2014]

  • Non-Restarting SAT Solvers With Simple Preprocessing Can Efficiently Simulate Resolution [pdf]
    Paul Beame, Ashish Sabharwal
    AAAI-2014. 28th AAAI Conference on Artificial Intelligence, Quebec City, Canada, Jul 2014.

  • Designing Fast Absorbing Markov Chains [pdf]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    AAAI-2014. 28th AAAI Conference on Artificial Intelligence, Quebec City, Canada, Jul 2014.

  • Low-density Parity Constraints for Hashing-Based Discrete Integration [pdf with appendix]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    ICML-2014. 31st International Conference on Machine Learning, Beijing, China, Jun 2014. To appear.

  • Parallel Combinatorial Optimization with Decision Diagrams [pdf]
    David Bergman, Andre Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve
    CPAIOR-2014. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming, Cork, Ireland, May 2014. To appear.

[2013]

  • Embed and Project: Discrete Sampling with Universal Hashing [pdf with appendix]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    NIPS-2013. 25th Annual Conference on Neural Information Processing Systems, pp 2085-2093, Lake Tahoe, CA, Dec 2013.

  • Optimization With Parity Constraints: From Binary Codes to Discrete Integration [pdf]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    UAI-2013. 29th Conference on Uncertainty in Artificial Intelligence, pp 202-211, Bellevue, WA, Jul 2013.
    Runner-up for Best Paper Award.
    Facebook Best Student Paper Award.

  • Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization [pdf with Appendix]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    ICML-2013. 30th International Conference on Machine Learning, pp 334-342, Atlanta, GA, Jun 2013.

  • Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering [PDF]
    Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    IJCAI-2013. 23rd International Joint Conference on Artificial Intelligence, pp 608-614, Beijing, China, Aug 2013.
    Basis of SAT Competition 2013 Winner in Open and Random tracks.

  • Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers [pdf, slides]
    George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon
    AAAI-2013. 27th AAAI Conference on Artificial Intelligence, pp 481-488, Bellevue, WA, Jul 2013.

  • Large Landscape Conservation - Synthetic and Real-World Datasets [PDF]
    Bistra N. Dilkina, Katherine J. Lai, Ronan LeBras, Yexiang Xue, Carla P. Gomes, Ashish Sabharwal, Jordan Suter, Kevin S. McKelvey, Michael K. Schwartz, Claire A. Montgomery
    AAAI-2013 [CompSustAI] . 27th AAAI Conference on Artificial Intelligence, pp 1369-1372, Bellevue, WA, Jul 2013.

  • Snappy: A Simple Algorithm Portfolio [pdf]
    Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
    SAT-2013. 16th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7962, pp 422-248, Helsinki, Finland, Jul 2013. (tool presentation).

  • Stronger Inference Through Implied Literals from Conflicts and Knapsack Covers [pdf]
    Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
    CPAIOR-2013. 10th International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS volume 7874, pp 1-11, Yorktown Heights, NY, May 2013.

  • Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction [pdf]
    Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    LION 7. Learning and Intelligent OptimizatioN Conference, LNCS volume 7997, pp 153-167, Catania, Italy, Jan 2013.
    Basis of SAT Challenge 2012 Best Interacting Multi-Engine Approach in Application track.

[2012]

  • Density Propagation and Improved Bounds on the Partition Function [pdf]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    NIPS-2012. 24th Annual Conference on Neural Information Processing Systems, pp 2771-2779, Lake Tahoe, CA, Dec 2012.

  • Parallel SAT Solver Selection and Scheduling [pdf]
    Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    CP-2012. 18th International Conference on Principles and Practice of Constraint Programming, LNCS volume 7514, pp 512-526, Quebec City, QC, Canada, Oct 2012.

  • SatX10: A Scalable Plug&Play Parallel SAT Framework [pdf, download SatX10]
    Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
    SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 463-468, Trento, Italy, Jun 2012. (tool paper).

  • Learning Back-Clauses in SAT [pdf]
    Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 498-499, Trento, Italy, Jun 2012. (short paper).

  • Augmenting Clause Learning With Implied Literals [pdf]
    Arie Matsliah, Ashish Sabharwal, Horst Samulowitz
    SAT-2012. 15th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 7317, pp 500-501, Trento, Italy, Jun 2012. (short paper).

  • Guiding Combinatorial Search With UCT [pdf]
    Ashish Sabharwal, Horst Samulowitz, Chandra Reddy
    CPAIOR-2012. 9th International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS volume 7298, pp 356-361, Nantes, France, May 2012. (short paper)

[2011]

  • Accelerated Adaptive Markov Chain for Partition Function Computation [pdf]
    Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
    NIPS-2011. 25th Annual Conference on Neural Information Processing Systems, pp 2744-2752, Granada, Spain, Dec 2011.

  • [3S paper #2] Algorithm Selection and Scheduling [pdf, slides]
    Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    CP-2011. 17th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6876, pp 454-469, Perugia, Italy, Sep 2011.
    Basis of SAT Competition 2011 Winner in Crafted and Random categories (total 7 medals).

  • Constraint Reasoning and Kernel Clustering for Pattern Decomposition With Scaling [pdf]
    Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
    CP-2011. 17th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6876, pp 508-522, Perugia, Italy, Sep 2011.

  • A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT [PDF]
    Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann
    AAAI-11. 25th AAAI Conference on Artificial Intelligence, pp 48-53, San Francisco, CA, August 2011.

  • [3S paper #1] Non-Model-Based Algorithm Portfolios for SAT [pdf, poster]
    Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
    SAT-2011. 14th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 6695, pp 369-370, Ann Arbor, MI, June 2011.

[2010]

  • An Empirical Study of Optimization for Maximizing Diffusion in Networks [pdf]
    Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
    CP-2010. 16th International Conference on Principles and Practice of Constraint Programming, LNCS volume 6308, pp 514-521, St Andrews, Scotland, Sep 2010.

  • An Empirical Study of Optimal Noise and Runtime Distributions in Local Search [pdf, slides]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    SAT-2010. 13th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 6175, pp 346-351, Edinburgh, UK, July 2010.

  • Understanding Sampling Style Adversarial Search Methods [PDF]
    Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
    UAI-2010. 26th Conference on Uncertainty in Artificial Intelligence, Avalon / Catalina Island, CA, pp 474-483, July 2010.

  • Maximizing Spread of Cascades Using Network Design [PDF]
    Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad,Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, William Vaughan
    UAI-2010. 26th Conference on Uncertainty in Artificial Intelligence, Avalon / Catalina Island, CA, pp 517-526, July 2010.

  • On Adversarial Search Spaces and Sampling-Based Planning [PDF]
    Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
    ICAPS-2010. 29th International Conference on Automated Planning and Scheduling, pp 242-245, Toronto, Canada, June 2010.

[2009]

  • Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT [pdf, slides]
    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.
    Also at the SoCS-09 symposium.

  • Relaxed DPLL Search for MaxSAT [pdf, slides]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    SAT-09. 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 447-452, Swansea, Wales, U.K., June 2009. (short paper).

  • Backdoors in the Context of Learning [pdf, slides, with extended version as a Tech Report]
    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
    SAT-09. 12th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 5584, pp 73-79, Swansea, Wales, U.K., June 2009. (short paper).

  • Backdoors to Combinatorial Optimization: Feasibility and Optimality [PDF, draft pdf]
    Bistra Dilkina, Carla P. Gomes, Yuri Malitski, Ashish Sabharwal, Meinolf Sellmann
    CPAIOR-09. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5547, pp 56-70, Pittsburgh, PA, May 2009.

  • Message-Passing and Local Heuristics as Decimation Strategies for Satisfiability [pdf, bib, slides]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    SAC-09. 24th Annual ACM Symposium on Applied Computing, pp 1408-1414, Honolulu, HI, Mar 2009.

[2008]

  • Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation [pdf, bib, spotlight-slide]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    NIPS-08. 22nd Annual Conference on Neural Information Processing Systems, pp 873-880, Vancouver, BC, Canada, Dec 2008.

  • [BPCount and MiniCount paper #1] Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting [pdf, bib, slides, journal version]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 127-141, Paris, France, May 2008.
    Also at the ISAIM-08 symposium.

  • Connections in Networks: A Hybrid Approach [pdf, bib, slides]
    Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal
    CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 303-307, Paris, France, May 2008.

  • Filtering Atmost1 on Pairs of Set Variables [PDF, bib, journal version]
    Willem-Jan van Hoeve, Ashish Sabharwal
    CPAIOR-08. 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 5015, pp 382-386, Paris, France, May 2008.
    Also at the ModRef-07 workshop.

[2007]

  • Tradeoffs in the Complexity of Backdoor Detection [pdf, published, bib, with extended results at ISAIM-08, journal version]
    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
    CP-07. 13th International Conference on Principles and Practice of Constraint Programming, LNCS volume 4741, pp 256-270, Providence, RI, Sep 2007.

  • Survey Propagation Revisited [pdf (revised, see footnote 3), bib]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    UAI-07. 23rd Conference on Uncertainty in Artificial Intelligence, pp 217-226, Vancouver, BC, Canada, July 2007.
    Nominated for the UAI-07 Best Student Paper Award.

  • The Impact of Network Topology on Pure Nash Equilibria in Graphical Games [pdf, published, bib]
    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal
    AAAI-07. 22nd Conference on Artificial Intelligence, pp 42-49, Vancouver, BC, Canada, July 2007.
    Also in NESCAI-07 (preliminary version)
    Nominated for the AAAI-07 Best Paper Award.

  • Counting CSP Solutions Using Generalized XOR Constraints [pdf, published, bib, slides]
    Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Bart Selman
    AAAI-07. 22nd Conference on Artificial Intelligence, 204-209, Vancouver, BC, Canada, July 2007.

  • Short XORs for Model Counting: From Theory to Practice [pdf in color, pdf in black-and-white, published, slides, bib]
    Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman
    SAT-07. 10th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 4501, pp 100-106, Lisbon, Portugal, May 2007. (short paper).

  • Connections in Networks: Hardness of Feasibility versus Optimality [pdf, published, slides, bib]
    Jon Conrad, Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Jordan Suter
    CPAIOR-07. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, LNCS volume 4510, pp 16-28, Brussels, Belgium, May 2007.

  • [SampleCount paper] From Sampling to Model Counting [pdf, published, bib]
    Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman
    IJCAI-07. 20th International Joint Conference on Artificial Intelligence, pp 2293-2299, Hyderabad, India, Jan 2007.
    Nominated for the IJCAI-07 Best Paper Award.

[2006]

  • [XorSample paper] Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints [pdf with appendix, published, bib]
    Carla P. Gomes, Ashish Sabharwal, Bart Selman
    NIPS-06. 20th Annual Conference on Neural Information Processing Systems, pp 481-488, Vancouver, BC, Canada, Dec 2006.

  • Revisiting the Sequence Constraint [pdf, published, bib, journal version]
    Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
    CP-06. 12th International Conference on Principles and Practice of Constraint Programming, LNCS volume 4204, pp 620-634, Nantes, France, Sep 2006.
    Best Paper Award.

  • [Duaffle paper] QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency [pdf, published, slides with the video used, bib]
    Ashish Sabharwal, Carlos Ansotegui, Carla P. Gomes, Justin W. Hart, Bart Selman
    SAT-06. 9th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 4121, pp 382-395, Seattle, WA, Aug 2006.

  • [MBound paper] Model Counting: A New Strategy for Obtaining Good Bounds [pdf, published, slides, bib]
    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 (two best paper awards out of nearly 800 submissions).

  • Friends or Foes? An AI Planning Perspective on Abstraction and Search [pdf, published, bib, journal version]
    Joerg Hoffmann, Ashish Sabharwal, Carmel Domshlak
    ICAPS-06. 16th International Conference on Automated Planning and Scheduling, pp 294-303, The English Lake District, UK, June 2006.
    Nominated for the ICAPS-06 Best Paper Award.

[2005 and earlier]

  • [SymChaff paper #1] SymChaff: A Structure-Aware Satisfiability Solver [pdf, published, slides, bib, journal version]
    Ashish Sabharwal
    AAAI-05. 20th National Conference on Artificial Intelligence, pp 467-474, Pittsburgh, PA, July 2005.

  • Using Problem Structure for Efficient Clause Learning [pdf, published volume, slides, bib, journal version]
    Ashish Sabharwal, Paul Beame, Henry Kautz
    SAT-03. 6th International Conference on Theory and Applications of Satisfiability Testing, LNCS volume 2919, pp 242-256, Portofino, Italy, May 2003.

  • Understanding the Power of Clause Learning [pdf, published, slides, bib, journal version]
    Paul Beame, Henry Kautz, Ashish Sabharwal
    IJCAI-03. 18th International Joint Conference on Artificial Intelligence, pp 1194-1201, Acapulco, Mexico, August 2003.

  • Bounded-depth Frege Lower Bounds for Weaker Pigeonhole Principles [pdf, published, bib, journal version]
    Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal
    FOCS-02. 43rd Annual Symposium on Foundations of Computer Science, pp 583-592, Vancouver, BC, Nov 2002.

  • Resolution Complexity of Independent Sets in Random Graphs [pdf, published, bib, journal version]
    Paul Beame, Russell Impagliazzo, Ashish Sabharwal
    CCC-01. 16th Annual Conference on Computational Complexity, pp 52-68, Chicago, IL, June 2001.

Journal Articles

  • Wildlife Corridors as a Connected Subgraph Problem
    Jon Conrad, Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal, Jordan F. Suter
    JEEM-2011. Journal of Environmental Economics and Management. To appear.
    Also as TechReport-2010. Incorporating Economic and Ecological Information into the Optimal Design of Wildlife Corridors. Cornell University Technical Report, Computing and Information Science series, http://hdl.handle.net/1813/17053, August 2010.

  • [BPCount and MiniCount paper #2] Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting [published, draft pdf]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    ANOR-2011. Annals of Operations Research, volume 184, number 1, pp 209-231, 2011.

  • Predicting direct protein interactions from affinity purification mass spectrometry data [published]
    Ethan Kim, Ashish Sabharwal, Adrian R. Vetta, Mathieu Blanchette
    ALMOB-2010. Algorithms for Molecular Biology, volume 5, number 34, October 2010.

  • Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings [pdf, published, bib]
    Carmel Domshlak, Joerg Hoffmann, Ashish Sabharwal
    JAIR-09. Journal of Artificial Intelligence Research, volume 36, pp 415-469, Dec 2009.

  • Towards Understanding and Harnessing the Potential of Clause Learning [pdf, published, bib]
    (see also chapter 4 of my Ph.D. thesis, in particular Corollary 4.2)
    Paul Beame, Henry Kautz, Ashish Sabharwal
    JAIR-04. Journal of Artificial Intelligence Research, volume 22, pp 319-351, Dec 2004.
    Runner-up for the IJCAI-JAIR 2003-2008 Best Paper Prize.

  • New Filtering Algorithms for Combinations of Among Constraints [published, draft pdf, bib]
    Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
    Constraints journal, volume 14, number 2, pp 273-292, June 2009.

  • [SymChaff paper #2] SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver [draft pdf, published, bib]
    Ashish Sabharwal
    Constraints journal, special issue on Symmetry, volume 14, number 4, pp 478-505, Dec 2009.

  • The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs [pdf, published, bib]
    Paul Beame, Russell Impagliazzo, Ashish Sabharwal
    Computational Complexity journal, volume 16, number 3, pp 245-297, 2007.

  • Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles [pdf, published, bib]
    Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal
    SICOMP-04. SIAM Journal on Computing, volume 34, number 2, pp 261-276, Dec 2004.

  • Floodlight Illumination of Infinite Wedges [publisher, draft pdf, bib]
    Matthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee
    COMGEO-10. Special issue of the journal Computation Geometry: Theory and Applications, volume 43, number 1, pp 23-34, Jan 2010.
    Abstract in the 14th Annual Fall Workshop on Computational Geometry, Boston, MA, Nov 2004.
    Preliminary version: Technical Report UW-CSE-2004-10-04, University of Washington, Seattle, Oct 2004.

Book Chapter and Surveys

  • Book Review: S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition [published]
    Ashish Sabharwal, Bart Selman
    AIJ-2011. Artificial Intelligence, Special Review Issue, Elsevier, volume 175, number 5-6, pp 935-937, Apr 2011.

  • Incomplete Algorithms (for Satisfiability) [published, draft pdf]
    Henry Kautz, Ashish Sabharwal, Bart Selman
    Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 6, pp 185-203, 2009.

  • Model Counting [published, draft pdf]
    Carla P. Gomes, Ashish Sabharwal, Bart Selman
    Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 20, pp 633-654, 2009.

  • Exploiting Runtime Variation in Complete Solvers (for Satisfiability) [published]
    Carla P. Gomes, Ashish Sabharwal
    Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Chapter 9, pp 271-288, 2009.

  • Satisfiability Solvers
    Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman [pdf, bib]
    Handbook of Knowledge Representation, in the series Foundations of Artificial Intelligence, vol. 3. Editors: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter. Elsevier, pp 89-134, 2008.

Workshops, Invited Talks, Other Work

  • General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT (extended abstract) [pdf, slides]
    Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann
    CSPSAT-2011 at SAT-2011. 1st International Workshop on the Cross-Fertilization Between CSP and SAT, Ann Arbor, MI, June 2011.

  • Guiding Combinatorial Optimization with UCT [pdf]
    Ashish Sabharwal, Horst Samulowitz
    MCTS-2011. ICAPS 2011 Workshop on Monte-Carlo Tree Search: Theory and Applications, Freiburg, Germany, June 2011.

  • On the Behavior of UCT in Synthetic Search Spaces
    Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
    MCTS-2011. ICAPS 2011 Workshop on Monte-Carlo Tree Search: Theory and Applications, Freiburg, Germany, June 2011.

  • A flat histogram method for inference with probabilistic and deterministic constraints
    Stefano Ermon, Carla Gomes, Ashish Sabharwal, Bart Selman
    DISCML-2010. NIPS 2010 Workshop on Discrete Optimization in Machine Learning: Structures, Algorithms and Applications, Whistler, BC, Canada, Dec 2010.

  • Bridging Constraint Reasoning and Machine Learning for Unsupervised Labeling and Decomposition
    Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal (presenting author), Carla P. Gomes, R. Bruce van Dover
    INFORMS-2010. INFORMS Annual Meeting, Austin, TX, Nov 2010.

  • Backdoors in the Context of Combinatorial Optimization and Learning
    Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal (presenting author), Meinolf Sellmann
    INFORMS-2010. INFORMS Annual Meeting, Austin, TX, Nov 2010.

  • Game Playing Techniques for Optimization Under Uncertainty
    Kiyan Ahmadizadeh, Carla P. Gomes, Ashish Sabharwal
    CROCS at CP-10. Third International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, St Andrews, Scotland, Sep 2010.

  • Computational Thinking for Material Discovery: Bridging Constraint Reasoning and Learning
    Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover
    CROCS at CPAIOR-10. Second International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 conference), Bologna, Italy, June 2010.

  • Optimal Network Design for the Spread of Cascades
    Daniel Sheldon, Bistra Dilkina, Adam Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad,Carla Gomes, David Shmoys, Will Allen, Ole Amundsen, William Vaughan
    CROCS at CPAIOR-10. Second International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CPAIOR-10 conference), Bologna, Italy, June 2010.

  • Approximate Inference for Clusters in Solution Spaces [pdf]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    WARA-2010. AAAI-10 Workshop on Abstraction, Reformulation, and Approximation, Atlanta, GA, Jul 2010.

  • Connections in Networks: A Hybrid Approach
    Carla P. Gomes, Willem-Jan van Hoeve (presenter), Ashish Sabharwal
    INFORMS-09. INFORMS Annual Meeting, San Diego, CA, Oct 2009.

  • Optimizing Fish Passage Barrier Removal Using Mixed Integer Linear Programming [slides]
    Carla P. Gomes, Ashish Sabharwal
    CROCS-09. First International Workshop on Constraint Reasoning and Optimization for Computational Sustainability (in conjunction with CP-09 Conference), Lisbon, Portugal, Sep 2009.

  • Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
    Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
    SoCS-09. The 2009 International Symposium on Combinatorial Search, Lake Arrowhead, CA, July 2009.

  • Backdoors in the Context of Learning
    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal (presenter)
    CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.

  • Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
    Lukas Kroc, Ashish Sabharwal (presenter), Carla P. Gomes, Bart Selman
    CORS-INFORMS-09. CORS-INFORMS International Meeting, Toronto, ON, Canada, June 2009.

  • Domain Filtering for the Intersection of Set Variables
    Willem-Jan van Hoeve (presenter), Ashish Sabharwal
    EURO-09. 23rd European Conference on Operational Research, Bonn, Germany, Jul 2009.

  • Solution Counting Methods for Combinatorial Problems [slides]
    Carla P. Gomes, Willem-Jan van Hoeve, Lukas Kroc, Ashish Sabharwal (presenter), Bart Selman
    INFORMS-08. INFORMS Annual Meeting, Washington, DC, Oct 2008.

  • Hidden Structure in Constraint Reasoning Problems [slides]
    Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal (presenter)
    INFORMS-08. INFORMS Annual Meeting, Washington, DC, Oct 2008.

  • Counting CSP Solutions Using Generalized XOR Constraints
    Carla P. Gomes, Willem-Jan van Hoeve (presenter), Ashish Sabharwal, Bart Selman
    INFORMS-08. INFORMS Annual Meeting, Washington, DC, Oct 2008.

  • Optimal Corridor Design for Grizzly Bear in the U.S. Northern Rockies
    Jordan F. Suter (presenter), Jon Conrad, Carla P. Gomes, Willem-Jan van Hoeve, Ashish Sabharwal
    AAEA-08. American Agricultural Economics Association Annual Meeting, Orlando, FL, Jul 2008.

  • Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting [pdf, bib]
    Lukas Kroc (presenter), Ashish Sabharwal, and Bart Selman
    ISAIM-08. 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, Jan 2008.

  • Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing [pdf, bib, slides]
    Bistra Dilkina, Carla Gomes, Ashish Sabharwal (presenter)
    ISAIM-08. 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FL, Jan 2008.

  • Hidden Structure in Combinatorial Problems [Please refer to slides for the ISAIM-08 paper on Backdoors]
    Carla P. Gomes, Ashish Sabharwal (presenter)
    INFORMS-07. INFORMS Annual Meeting, Seattle, WA, Nov 2007.

  • Filtering Algorithms for the Sequence Constraint
    Willem-Jan van Hoeve (presenter), Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal
    INFORMS-07. INFORMS Annual Meeting, Seattle, WA, Nov 2007.

  • Two Set Constraints for Modeling and Efficiency [pdf, bib, slides]
    Willem-Jan van Hoeve, Ashish Sabharwal (presenter)
    ModRef-07 at CP-07. 6th International Workshop on Constraint Modelling and Reformulation, Providence, RI, Sep 2007. In conjunction with the CP-07 conference.

  • Sampling and Soundness: Can We Have Both?
    Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman
    ISWC-07. 6th International Semantic Web Conference, Busan, Korea, Nov 2007.

  • Empirical Validation of the Relationship Between Survey Propagation and Covers in Random 3-SAT [slides]
    Lukas Kroc (presenter), Ashish Sabharwal, Bart Selman
    AISP-07. Workshop on Algorithms, Inference, & Statistical Physics, Santa Fe, NM, May 2007.

  • Sparse Message Passing Algorithms for Weighted Maximum Satisfiability [pdf]
    Aron Culotta, Andrew McCallum, Bart Selman, Ashish Sabharwal
    NESCAI-07. 2nd North East Student Colloquium on Artificial Intelligence, Ithaca, NY, Apr 2007.

  • Streamlining Reasoning for Solution Finding and Counting
    Carla P. Gomes (presenter), Ashish Sabharwal, Meinolf Sellmann, Bart Selman
    INFORMS-06. INFORMS Annual Meeting, Pittsburgh, PA, Nov 2006.


  • Algorithmic Applications of Propositional Proof Complexity [bib]
    PH.D. THESIS, University of Washington, Seattle, 2005
    Advisors: Profs. Paul Beame and Henry Kautz

    [ abstract, full pdf (single spaced, 1.3MB) ]
    [ chapters, single-spaced: titlepage, abstract, contents, ch1, ch2, ch3, ch4, ch5, ch6, ch7 ]

  • Model Checking: Two Decades of Novel Techniques and Trends [pdf]
    General Examination Report, University of Washington, Seattle, May 2002.

Tutorials and Teaching

TUTORIALS
  • Branching Strategies and Restarts. in SAT Solvers [slides]
    Ashish Sabharwal
    General Principles Workshop at CPAIOR-2013. Workshop on General Principles in Seeking Feasible Solutions for Combinatorial Problems, at CPAIOR-2013 Conference, Yorktown Heights, NY, May 2013.

  • Satisfied by Message Passing: Probabilistic Techniques for Combinatorial Problems [webpage, bib]
    Lukas Kroc, Ashish Sabharwal, Bart Selman
    AAAI-08. 23rd Conference on Artificial Intelligence, Tutorial Forum, Chicago, IL, July 2008.
    Shorter version also at: LION 3, 2009. 3rd Conference on Learning and Intelligent Optimization, Tutorial Forum, Trento, Italy, Jan 2009.

  • Combinatorial Problems (series of three lectures)
    • Finding Solutions [slides]
    • Counting and Sampling Solutions [slides]
    • The Next Level of Complexity [slides with the video used]

    Ashish Sabharwal, Bart Selman
    KITPC-08. 2nd Asian-Pacific School on Statistical Physics and Interdisciplinary Applications, Collective Dynamics and Information Systems Program, Kavli Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing, China, March 2008

  • Beyond Traditional SAT Reasoning: QBF, Model Counting, and Solution Sampling [webpage, bib]
    Ashish Sabharwal, Bart Selman
    AAAI-07. 22nd Conference on Artificial Intelligence, Tutorial Forum, Vancouver, BC, Canada, July 2007

  • Quantified Boolean Formula (QBF) Reasoning [slides with videos used]
    Bart Selman, Carla Gomes, Ashish Sabharwal
    Tutorial prepared for DARPA, Feb 2007


COURSE MATERIAL

  • For the course webpage for CSE 326, Data Structures, that I taught as a pre-doctoral instructor in Fall 2003 at the University of Washington, please click here.

  • Notes on Proof Complexity [pdf]
    Lectures by Paul Beame, scribed by Ashish Sabharwal.
    IAS/PCMI Summer School, Princeton, NJ, Aug 2000.
Ċ
Santosh Divvala,
Jun 30, 2014, 1:23 PM
Ċ
Santosh Divvala,
Jun 30, 2014, 1:23 PM