Ashish Sabharwal Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

AI2, Allen Institute for Artificial Intelligence, Seattle, USA

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
i13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTushar Khot, Ashish Sabharwal, Peter Clark: Answering Complex Questions Using Open Information Extraction. CoRR abs/1704.05572 (2017)
2016
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz, Gerald Tesauro: Selecting Near-Optimal Learners via Incremental Data Allocation. CoRR abs/1601.00024 (2016)
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth: Question Answering via Integer Programming over Semi-Structured Knowledge. CoRR abs/1604.06076 (2016)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanie Sedghi, Ashish Sabharwal: Knowledge Completion for Generics using Guided Tensor Factorization. CoRR abs/1612.03871 (2016)
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz, Gerald Tesauro: Selecting Near-Optimal Learners via Incremental Data Allocation. AAAI 2016: 2007-2015
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Clark, Oren Etzioni, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter D. Turney, Daniel Khashabi: Combining Retrieval, Statistics, and Inference to Answer Elementary Science Questions. AAAI 2016: 2580-2586
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolyn Kim, Ashish Sabharwal, Stefano Ermon: Exact Sampling with Integer Linear Programs and Random Perturbations. AAAI 2016: 3248-3254
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon: Closing the Gap Between Short and Long XORs for Model Counting. AAAI 2016: 3322-3329
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTudor Achim, Ashish Sabharwal, Stefano Ermon: Beyond Parity Constraints: Fourier Analysis of Hash Functions for Inference. ICML 2016: 2254-2262
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth: Question Answering via Integer Programming over Semi-Structured Knowledge. IJCAI 2016: 1145-1152
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShengjia Zhao, Enze Zhou, Ashish Sabharwal, Stefano Ermon: Adaptive Concentration Inequalities for Sequential Decision Problems. NIPS 2016: 1343-1351
2015
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni: Markov Logic Networks for Natural Language Question Answering. CoRR abs/1507.03045 (2015)
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShengjia Zhao, Sorathan Chaturapruek, Ashish Sabharwal, Stefano Ermon: Closing the Gap Between Short and Long XORs for Model Counting. CoRR abs/1512.08863 (2015)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, Siena Dumas Ang: Parsing Algebraic Word Problems into Equations. TACL 3: 585-597 (2015)
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Kell, Ashish Sabharwal, Willem-Jan van Hoeve: BDD-Guided Clause Generation. CPAIOR 2015: 215-230
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni: Exploring Markov Logic Networks for Question Answering. EMNLP 2015: 685-694
2014
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. Ann. Math. Artif. Intell. 70(4): 399-431 (2014)
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Designing Fast Absorbing Markov Chains. AAAI 2014: 849-855
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Ashish Sabharwal: Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution. AAAI 2014: 2608-2615
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz: Insights into Parallelism with Intensive Knowledge Sharing. CP 2014: 655-671
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve: Parallel Combinatorial Optimization with Decision Diagrams. CPAIOR 2014: 351-367
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML 2014: 271-279
2013
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization .CoRR abs/1302.6677 (2013)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR abs/1309.6827 (2013)
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra 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: Large Landscape Conservation - Synthetic and Real-World Datasets. AAAI 2013
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon: Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack: Automated Design of Search with Composability. AAAI (Late-Breaking Developments) 2013
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Achterberg, Ashish Sabharwal, Horst Samulowitz: Stronger Inference through Implied Literals from Conflicts and Knapsack Covers. CPAIOR 2013: 1-11
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) 2013: 334-342
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. IJCAI 2013: 608-614
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction. LION 2013: 153-167
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Embed and Project: Discrete Sampling with Universal Hashing. NIPS 2013: 2085-2093
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann: Snappy: A Simple Algorithm Portfolio. SAT 2013: 422-428
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI 2013
2012
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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 abs/1203.3514 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghuram Ramanujan, Ashish Sabharwal, Bart Selman: Understanding Sampling Style Adversarial Search Methods .CoRR abs/1203.4011 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Survey Propagation Revisited .CoRR abs/1206.5273 (2012)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Parallel SAT Solver Selection and Scheduling. CP 2012: 512-526
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz, Chandra Reddy: Guiding Combinatorial Optimization with UCT. CPAIOR 2012: 356-361
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Density Propagation and Improved Bounds on the Partition Function. NIPS 2012: 2771-2779
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat: SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT 2012: 463-468
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Learning Back-Clauses in SAT - (Poster Presentation). SAT 2012: 498-499
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie Matsliah, Ashish Sabharwal, Horst Samulowitz: Augmenting Clause Learning with Implied Literals - (Poster Presentation). SAT 2012: 500-501
2011
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Bart Selman: S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. Artif. Intell. 175(5-6): 935-937 (2011)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Leveraging belief propagation, backtrack search, and statistics for model counting. Annals OR 184(1): 209-231 (2011)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Henry A. Kautz, Ashish Sabharwal: Towards Understanding and Harnessing the Potential of Clause Learning .CoRR abs/1107.0044 (2011)
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiddhartha Jain, Ashish Sabharwal, Meinolf Sellmann: A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. AAAI 2011
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Algorithm Selection and Scheduling. CP 2011: 454-469
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonan 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: 508-522
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman: Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS 2011: 2744-2752
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann: Non-Model-Based Algorithm Portfolios for SAT. SAT 2011: 369-370
2010
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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 M. 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 31(4): 95-108 (2010)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEthan Kim, Ashish Sabharwal, Adrian Vetta, Mathieu Blanchette: Predicting direct protein interactions from affinity purification mass spectrometry data. Algorithms for Molecular Biology 5: 34 (2010)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Cary, Atri Rudra, Ashish Sabharwal, Erik Vee: Floodlight illumination of infinite wedges. Comput. Geom. 43(1): 23-34 (2010)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation 2010
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory M. Provan, Ashish Sabharwal: Preface. Abstraction, Reformulation, and Approximation 2010
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghuram Ramanujan, Ashish Sabharwal, Bart Selman: On Adversarial Search Spaces and Sampling-Based Planning. ICAPS 2010: 242-245
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiyan Ahmadizadeh, Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: An Empirical Study of Optimization for Maximizing Diffusion in Networks. CP 2010: 514-521
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT 2010: 346-351
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghuram Ramanujan, Ashish Sabharwal, Bart Selman: Understanding Sampling Style Adversarial Search Methods. UAI 2010: 474-483
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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: 517-526
2009
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal: New filtering algorithms for combinations of among constraints. Constraints 14(2): 273-292 (2009)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal: SymChaff: exploiting symmetry in a structure-aware satisfiability solver. Constraints 14(4): 478-505 (2009)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmel Domshlak, Jörg Hoffmann, Ashish Sabharwal: Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings. J. Artif. Intell. Res. 36: 415-469 (2009)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann: Backdoors to Combinatorial Optimization: Feasibility and Optimality. CPAIOR 2009: 56-70
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman: Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI 2009: 544-551
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Message-passing and local heuristics as decimation strategies for satisfiability. SAC 2009: 1408-1414
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Backdoors in the Context of Learning. SAT 2009: 73-79
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Relaxed DPLL Search for MaxSAT. SAT 2009: 447-452
p3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Ashish Sabharwal, Bart Selman: Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Ashish Sabharwal: Exploiting Runtime Variation in Complete Solvers. Handbook of Satisfiability 2009: 271-288
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting. Handbook of Satisfiability 2009: 633-654
2008
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR 2008: 127-141
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal: Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem Jan van Hoeve, Ashish Sabharwal: Filtering Atmost1 on Pairs of Set Variables. CPAIOR 2008: 382-386
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing. ISAIM 2008
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Bart Selman, Ashish Sabharwal: Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM 2008
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS 2008: 873-880
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman: Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Russell Impagliazzo, Ashish Sabharwal: The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs. Computational Complexity 16(3): 245-297 (2007)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. AAAI 2007: 42-49
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman: Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBistra N. Dilkina, Carla P. Gomes, Ashish Sabharwal: Tradeoffs in the Complexity of Backdoor Detection. CP 2007: 256-270
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter: Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR 2007: 16-28
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Cary, Atri Rudra, Ashish Sabharwal: Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics. ICALP 2007: 949
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla 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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukas Kroc, Ashish Sabharwal, Bart Selman: Survey Propagation Revisited. UAI 2007: 217-226
2006
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Ashish Sabharwal, Bart Selman: Model Counting: A New Strategy for Obtaining Good Bounds. AAAI 2006: 54-61
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Ashish Sabharwal, Carmel Domshlak: Friends or Foes? An AI Planning Perspective on Abstraction and Search. ICAPS 2006: 294-303
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal: Revisiting the Sequence Constraint. CP 2006: 620-634
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Ashish Sabharwal, Bart Selman: Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints. NIPS 2006: 481-488
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman: QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency. SAT 2006: 382-395
2005
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal: SymChaff: A Structure-Aware Satisfiability Solver. AAAI 2005: 467-474
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Cary, Atri Rudra, Ashish Sabharwal: On the Hardness of Embeddings Between Two Finite Metrics. ICALP 2005: 1412-1423
2004
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Henry A. Kautz, Ashish Sabharwal: Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. 22: 319-351 (2004)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal: Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. SIAM J. Comput. 34(2): 261-276 (2004)
2003
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Henry A. Kautz, Ashish Sabharwal: Understanding the Power of Clause Learning. IJCAI 2003: 1194-1201
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshish Sabharwal, Paul Beame, Henry A. Kautz: Using Problem Structure for Efficient Clause Learning. SAT 2003: 242-256
2002
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosh 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)(023) (2002)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal: Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles. FOCS 2002: 583-592
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Beame, Russell Impagliazzo, Ashish Sabharwal: Resolution Complexity of Independent Sets in Random Graphs. IEEE Conference on Computational Complexity 2001: 52-68

Coauthor Index

1Tudor Achim[c69]
2Tobias Achterberg[c56]
3David W. Aha[j9]
4Kiyan Ahmadizadeh[c35]
5William Allen[i5] [c32]
6Ole Amundsen[i5] [c32]
7Siena Dumas Ang[j13]
8Carlos Ansótegui[c7]
9Niranjan Balasubramanian[i9] [c65]
10Paul Beame[c63] [i2] [j3] [j2] [j1] [c4] [c3] [i1] [c2] [c1]
11David Bergman[c61]
12Mathieu Blanchette[j8]
13Bard Bloom[c46]
14Mark S. Boddy[j9]
15Ronan Le Bras
Ronan LeBras
[c59] [c41]
16Vadim Bulitko[j9]
17Joshua Buresh-Oppenheim
Josh Buresh-Oppenheim
[j1] [i1] [c2]
18Matthew Cary[j7] [c16] [c5]
19Sorathan Chaturapruek[c70] [i8]
20André Augusto Ciré
André A. Ciré
[c61]
21Peter Clark[i13] [i11] [c72] [c68] [i9] [c65]
22Jon Conrad[i5] [c32] [c17]
23Theodoros Damoulas[c41]
24Bistra N. Dilkina[j12] [c59] [i5] [c35] [c32] [c31] [c28] [c23] [c20] [c18]
25Carmel Domshlak[j4] [c10]
26Prashant Doshi[j9]
27R. Bruce van Dover[c41]
28Stefan Edelkamp[j9]
29Adam N. Elmachtoub[i5] [c32]
30Stefano Ermon[c71] [c70] [c69] [c67] [i8] [c64] [c60] [i7] [i6] [c55] [c52] [c50] [c47] [c40]
31Oren Etzioni[i11] [c72] [c68] [i9] [j13] [c65]
32Ryan Finseth[i5] [c32]
33Artur S. d'Avila Garcez[j9]
34Christopher W. Geib[j9]
35Piotr J. Gmytrasiewicz[j9]
36Robert P. Goldman[j9]
37Carla P. Gomes[j12] [c64] [c60] [i7] [i6] [c59] [c55] [c52] [c50] [i5] [c47] [c41] [c40] [c35] [c32] [c31] [c30] [c28] [p2] [p1] [c25] [c23] [r1] [c20] [c19] [c18] [c17] [c15] [c14] [c13] [c11] [c8] [c7]
38John M. Gregoire[c41]
39Eric Gribkoff[i9] [c65]
40David Grove[c46]
41Hannaneh Hajishirzi[j13]
42Alon Y. Halevy[j9]
43Justin W. Hart[c7]
44Benjamin Herta[c46]
45Pascal Hitzler[j9]
46Willem Jan van Hoeve
Willem-Jan van Hoeve
[c66] [c61] [j6] [c25] [c24] [c19] [c17] [c9]
47Jörg Hoffmann 0001[j4] [c15] [c14] [c13] [c10]
48Russell Impagliazzo[j3] [c1]
49Charles Lee Isbell Jr.
Charles L. Isbell
[j9]
50Siddhartha Jain[c43]
51Darsana P. Josyula[j9]
52Serdar Kadioglu[c42]
53Leslie Pack Kaelbling[j9]
54George Katsirelos[c58]
55Henry A. Kautz[i2] [p3] [r1] [j2] [c4] [c3]
56Brian Kell[c66]
57Kristian Kersting[j9]
58Daniel Khashabi[i11] [c72] [c68]
59Tushar Khot[i13] [i11] [c72] [c68] [i9] [c65]
60Carolyn Kim[c71]
61Ethan Kim[j8]
62Rik Koncel-Kedziorski[j13]
63Lukas Kroc[i3] [j10] [c38] [c34] [c30] [c29] [c27] [c26] [c22] [c21] [c12]
64Maithilee Kunda[j9]
65Katherine J. Lai[c59]
66Luís C. Lamb[j9]
67Yuri Malitsky[c54] [c53] [c49] [c42] [c39] [c31]
68Bhaskara Marthi[j9]
69Arie Matsliah[c44]
70Keith McGreggor[j9]
71Kevin S. McKelvey[c59]
72Ron van der Meyden[j9]
73Lilyana Mihalkova[j9]
74Claire A. Montgomery[c59]
75Vivi Nastase[j9]
76Sriraam Natarajan[j9]
77Gilles Pesant[j6] [c9]
78Toniann Pitassi[j1] [i1] [c2]
79Gregory M. Provan[j9] [c37]
80Anita Raja[j9]
81Ashwin Ram[j9]
82Raghuram Ramanujan[i4] [c36] [c33]
83Ran Raz[j1] [i1] [c2]
84Chandra Reddy[c51] [c48]
85Mark O. Riedl[j9]
86Dan Roth[i11] [c68]
87Louis-Martin Rousseau[j6] [c9]
88Atri Rudra[j7] [c16] [c5]
89Stuart J. Russell[j9]
90Horst Samulowitz[i12] [c73] [c62] [c61] [c58] [c57] [c56] [c54] [c53] [c51] [c49] [c48] [c46] [c45] [c44] [c42] [c39]
91Vijay A. Saraswat[c61] [c46]
92Tom Schrijvers[c57]
93Michael K. Schwartz[c59]
94Hanie Sedghi[i10]
95Meinolf Sellmann[c54] [c53] [c51] [c49] [c45] [c43] [c42] [c39] [c31]
96Bart Selman[c64] [c60] [i7] [i6] [c55] [c52] [c50] [i4] [i3] [c47] [j11] [j10] [c40] [c38] [c36] [c34] [c33] [c30] [c29] [c27] [p3] [p1] [c26] [c22] [c21] [r1] [c19] [c15] [c14] [c13] [c12] [c11] [c8] [c7]
97Daniel Sheldon[i5] [c32]
98David B. Shmoys[i5] [c32]
99Laurent Simon[c58]
100Jan-Georg Smaus[j9]
101Peter J. Stuckey[c57]
102Gita Reese Sukthankar
Gita Sukthankar
[j9]
103Jordan Suter[c59] [c17]
104Guido Tack[c57]
105Oyvind Tafjord[c72]
106Gerald Tesauro[i12] [c73]
107Peter D. Turney[c72]
108Karl Tuyls[j9]
109William Vaughan[i5] [c32]
110Erik Vee[j7]
111Adrian Vetta[j8]
112Yexiang Xue[c59]
113Shengjia Zhao[c70] [c67] [i8]
114Enze Zhou[c67]

 

Last update 2017-06-23 00:42 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page