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.
|
 Updating...
Ċ santoshd@allenai.org, Jun 30, 2014, 1:23 PM
Ċ santoshd@allenai.org, Jun 30, 2014, 1:23 PM
|