Ashish Sabharwal
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| DPLL: the core of modern satisfiability solvers Outstanding Contributions to Logic | 2020-08-06 | Paper |
| Model counting: a new stategy for obtaining good bounds | 2016-07-26 | Paper |
| BDD-guided clause generation Integration of AI and OR Techniques in Constraint Programming | 2016-07-25 | Paper |
| Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search Annals of Mathematics and Artificial Intelligence | 2014-09-26 | Paper |
| Stronger Inference through Implied Literals from Conflicts and Knapsack Covers Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
| Wildlife corridors as a connected subgraph problem Journal of Environmental Economics and Management | 2012-10-25 | Paper |
| Leveraging belief propagation, backtrack search, and statistics for model counting Annals of Operations Research | 2011-06-22 | Paper |
| An empirical study of optimal noise and runtime distributions in local search Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
| Friends or foes? On planning as satisfiability and abstract CNF encodings Journal of Artificial Intelligence Research | 2010-03-15 | Paper |
| \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver Constraints | 2009-11-16 | Paper |
| Floodlight illumination of infinite wedges Computational Geometry | 2009-10-16 | Paper |
| New filtering algorithms for combinations of among constraints Constraints | 2009-09-25 | Paper |
| Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science | 2009-07-24 | Paper |
| Backdoors in the Context of Learning Lecture Notes in Computer Science | 2009-07-07 | Paper |
| Backdoors to Combinatorial Optimization: Feasibility and Optimality Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
| Short XORs for Model Counting: From Theory to Practice Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
| Connections in Networks: Hardness of Feasibility Versus Optimality Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-03-10 | Paper |
| Revisiting the Sequence Constraint Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
| Tradeoffs in the Complexity of Backdoor Detection Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
| Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
| Filtering Atmost1 on Pairs of Set Variables Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
| The resolution complexity of independent sets and vertex covers in random graphs Computational Complexity | 2008-03-05 | Paper |
| Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics Automata, Languages and Programming | 2007-11-28 | Paper |
| QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency Lecture Notes in Computer Science | 2007-09-04 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2243370 (Why is no real title available?) (available as arXiv preprint) | 2006-01-04 | Paper |
| Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles SIAM Journal on Computing | 2005-02-21 | Paper |
Research outcomes over time
This page was built for person: Ashish Sabharwal
