Ashish Sabharwal

Available identifiers

zbMath Open sabharwal.ashishMaRDI QIDQ456410

List of research outcomes

Publication	Date of Publication	Type
DPLL: The Core of Modern Satisfiability Solvers	2020-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q5740444	2016-07-26	Paper
BDD-Guided Clause Generation	2016-07-25	Paper
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search	2014-09-26	Paper
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers	2013-06-04	Paper
Wildlife corridors as a connected subgraph problem	2012-10-25	Paper
Leveraging belief propagation, backtrack search, and statistics for model counting	2011-06-22	Paper
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search	2010-09-29	Paper
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings	2010-03-15	Paper
\texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver	2009-11-16	Paper
Floodlight illumination of infinite wedges	2009-10-16	Paper
New filtering algorithms for combinations of among constraints	2009-09-25	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Backdoors in the Context of Learning	2009-07-07	Paper
Backdoors to Combinatorial Optimization: Feasibility and Optimality	2009-06-03	Paper
Short XORs for Model Counting: From Theory to Practice	2009-03-10	Paper
Connections in Networks: Hardness of Feasibility Versus Optimality	2009-03-10	Paper
Revisiting the Sequence Constraint	2008-09-09	Paper
Tradeoffs in the Complexity of Backdoor Detection	2008-09-02	Paper
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting	2008-05-27	Paper
Filtering Atmost1 on Pairs of Set Variables	2008-05-27	Paper
The resolution complexity of independent sets and vertex covers in random graphs	2008-03-05	Paper
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics	2007-11-28	Paper
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency	2007-09-04	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5715680	2006-01-04	Paper
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles	2005-02-21	Paper

Research outcomes over time

This page was built for person: Ashish Sabharwal