Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of Artificial Intelligence Research 22, 319-351, 2004 | 338 | 2004 |
Satisfiability solvers CP Gomes, H Kautz, A Sabharwal, B Selman Foundations of Artificial Intelligence 3, 89-134, 2008 | 311 | 2008 |
Scitail: A textual entailment dataset from science question answering T Khot, A Sabharwal, P Clark Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 174 | 2018 |
Algorithm selection and scheduling S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann International Conference on Principles and Practice of Constraint …, 2011 | 163 | 2011 |
Think you have solved question answering? try arc, the ai2 reasoning challenge P Clark, I Cowhey, O Etzioni, T Khot, A Sabharwal, C Schoenick, O Tafjord arXiv preprint arXiv:1803.05457, 2018 | 159 | 2018 |
Model counting CP Gomes, A Sabharwal, B Selman | 156 | 2008 |
Model counting: A new strategy for obtaining good bounds CP Gomes, A Sabharwal, B Selman AAAI, 54-61, 2006 | 136 | 2006 |
Understanding the power of clause learning P Beame, H Kautz, A Sabharwal IJCAI, 1194-1201, 2003 | 119 | 2003 |
Taming the curse of dimensionality: Discrete integration by hashing and optimization S Ermon, C Gomes, A Sabharwal, B Selman International Conference on Machine Learning, 334-342, 2013 | 117 | 2013 |
Combining retrieval, statistics, and inference to answer elementary science questions P Clark, O Etzioni, T Khot, A Sabharwal, O Tafjord, P Turney, D Khashabi Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 110 | 2016 |
Can a suit of armor conduct electricity? a new dataset for open book question answering T Mihaylov, P Clark, T Khot, A Sabharwal arXiv preprint arXiv:1809.02789, 2018 | 108 | 2018 |
Near-uniform sampling of combinatorial spaces using XOR constraints CP Gomes, A Sabharwal, B Selman Advances In Neural Information Processing Systems, 481-488, 2007 | 105 | 2007 |
From Sampling to Model Counting. CP Gomes, J Hoffmann, A Sabharwal, B Selman IJCAI 2007, 2293-2299, 2007 | 101 | 2007 |
Algorithm portfolios based on cost-sensitive hierarchical clustering Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 96 | 2013 |
Parsing algebraic word problems into equations R Koncel-Kedziorski, H Hajishirzi, A Sabharwal, O Etzioni, SD Ang Transactions of the Association for Computational Linguistics 3, 585-597, 2015 | 89 | 2015 |
Maximizing the spread of cascades using network design D Sheldon, B Dilkina, AN Elmachtoub, R Finseth, A Sabharwal, J Conrad, ... arXiv preprint arXiv:1203.3514, 2012 | 87 | 2012 |
Revisiting the sequence constraint WJ van Hoeve, G Pesant, LM Rousseau, A Sabharwal International conference on principles and practice of constraint …, 2006 | 85 | 2006 |
Question answering via integer programming over semi-structured knowledge D Khashabi, T Khot, A Sabharwal, P Clark, O Etzioni, D Roth arXiv preprint arXiv:1604.06076, 2016 | 74 | 2016 |
Wildlife corridors as a connected subgraph problem JM Conrad, CP Gomes, WJ van Hoeve, A Sabharwal, JF Suter Journal of Environmental Economics and Management 63 (1), 1-18, 2012 | 70 | 2012 |
Embed and project: Discrete sampling with universal hashing S Ermon, CP Gomes, A Sabharwal, B Selman Advances in Neural Information Processing Systems, 2085-2093, 2013 | 69 | 2013 |