[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.

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.

• 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.

• 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.