|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
|
|
Results
Found 61 publication records. Showing 61 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Sheldon, Bistra N. Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan |
Maximizing the Spread of Cascades Using Network Design  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Raghuram Ramanujan, Ashish Sabharwal, Bart Selman |
Understanding Sampling Style Adversarial Search Methods |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Horst Samulowitz, Chandra Reddy |
Guiding Combinatorial Optimization with UCT. |
CPAIOR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Leveraging belief propagation, backtrack search, and statistics for model counting. |
Annals OR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Towards Understanding and Harnessing the Potential of Clause Learning |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Bart Selman |
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Non-Model-Based Algorithm Portfolios for SAT. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann |
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Accelerated Adaptive Markov Chain for Partition Function Computation. |
NIPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Algorithm Selection and Scheduling. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover |
Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee |
Floodlight illumination of infinite wedges. |
Comput. Geom. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan |
Reports of the AAAI 2010 Conference Workshops. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Raghuram Ramanujan, Ashish Sabharwal, Bart Selman |
On Adversarial Search Spaces and Sampling-Based Planning. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sheldon, Bistra N. Dilkina, Adam N. Elmachtoub, Ryan Finseth, Ashish Sabharwal, Jon Conrad, Carla P. Gomes, David B. Shmoys, William Allen, Ole Amundsen, William Vaughan |
Maximizing the Spread of Cascades Using Network Design. |
UAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Raghuram Ramanujan, Ashish Sabharwal, Bart Selman |
Understanding Sampling Style Adversarial Search Methods. |
UAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gregory Provan, Ashish Sabharwal |
Preface. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Approximate Inference for Clusters in Solution Spaces. |
Abstraction, Reformulation, and Approximation |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
An Empirical Study of Optimization for Maximizing Diffusion in Networks. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Sabharwal |
SymChaff: exploiting symmetry in a structure-aware satisfiability solver. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability |
| 1 | Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal |
New filtering algorithms for combinations of among constraints. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint |
| 1 | Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal |
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Model Counting. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal |
Exploiting Runtime Variation in Complete Solvers. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Ashish Sabharwal, Bart Selman |
Incomplete Algorithms. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman |
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Relaxed DPLL Search for MaxSAT. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Backdoors in the Context of Learning. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Message-passing and local heuristics as decimation strategies for satisfiability. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
survey propagation, heuristics, SAT, belief propagation, constraint reasoning |
| 1 | Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann |
Backdoors to Combinatorial Optimization: Feasibility and Optimality. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
backdoor sets, search, variable selection |
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lukas Kroc, Bart Selman, Ashish Sabharwal |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal |
Connections in Networks: A Hybrid Approach. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Ashish Sabharwal |
Filtering Atmost1 on Pairs of Set Variables. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. |
NIPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paul Beame, Russell Impagliazzo, Ashish Sabharwal |
The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs. |
Computational Complexity |
2007 |
DBLP DOI BibTeX RDF |
Subject classification. 03F20, 68Q17 |
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
From Sampling to Model Counting. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matthew Cary, Atri Rudra, Ashish Sabharwal |
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter |
Connections in Networks: Hardness of Feasibility Versus Optimality. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Survey Propagation Revisited. |
UAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
Sampling and Soundness: Can We Have Both? |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman |
Counting CSP Solutions Using Generalized XOR Constraints. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal |
Tradeoffs in the Complexity of Backdoor Detection. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Hoffmann, Ashish Sabharwal, Carmel Domshlak |
Friends or Foes? An AI Planning Perspective on Abstraction and Search. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Model Counting: A New Strategy for Obtaining Good Bounds. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Ashish Sabharwal, Bart Selman |
Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. |
NIPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal |
Revisiting the Sequence Constraint. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Cary, Atri Rudra, Ashish Sabharwal |
On the Hardness of Embeddings Between Two Finite Metrics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Sabharwal |
SymChaff: A Structure-Aware Satisfiability Solver. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Towards Understanding and Harnessing the Potential of Clause Learning. |
J. Artif. Intell. Res. (JAIR) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal |
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Beame, Henry A. Kautz, Ashish Sabharwal |
Understanding the Power of Clause Learning. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ashish Sabharwal, Paul Beame, Henry A. Kautz |
Using Problem Structure for Efficient Clause Learning. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal |
Bounded-depth Frege lower bounds for weaker pigeonhole principles |
Electronic Colloquium on Computational Complexity (ECCC) |
2002 |
DBLP BibTeX RDF |
|
| 1 | Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal |
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. |
FOCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Beame, Russell Impagliazzo, Ashish Sabharwal |
Resolution Complexity of Independent Sets in Random Graphs. (PDF / PS) |
IEEE Conference on Computational Complexity |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #61 of 61 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")