| Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of Artificial Intelligence Research 22, 319-351, 2004 | 342 | 2004 |
| Satisfiability solvers CP Gomes, H Kautz, A Sabharwal, B Selman Foundations of Artificial Intelligence 3, 89-134, 2008 | 324 | 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 | 212 | 2018 |
| 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 | 196 | 2018 |
| Algorithm selection and scheduling S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann International Conference on Principles and Practice of Constraint …, 2011 | 171 | 2011 |
| Model counting CP Gomes, A Sabharwal, B Selman Handbook of satisfiability, 633-654, 2009 | 165 | 2009 |
| 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 | 142 | 2018 |
| Model counting: A new strategy for obtaining good bounds CP Gomes, A Sabharwal, B Selman AAAI, 54-61, 2006 | 141 | 2006 |
| 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 | 122 | 2016 |
| 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 | 122 | 2013 |
| Understanding the power of clause learning P Beame, H Kautz, A Sabharwal IJCAI, 1194-1201, 2003 | 119 | 2003 |
| Near-uniform sampling of combinatorial spaces using XOR constraints CP Gomes, A Sabharwal, B Selman NIPS, 481-488, 2006 | 111 | 2006 |
| From Sampling to Model Counting. CP Gomes, J Hoffmann, A Sabharwal, B Selman IJCAI 2007, 2293-2299, 2007 | 109 | 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 | 108 | 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 | 99 | 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 | 98 | 2012 |
| 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 | 85 | 2016 |
| Revisiting the sequence constraint WJ Van Hoeve, G Pesant, LM Rousseau, A Sabharwal International conference on principles and practice of constraint …, 2006 | 84 | 2006 |
| Answering complex questions using open information extraction T Khot, A Sabharwal, P Clark arXiv preprint arXiv:1704.05572, 2017 | 76 | 2017 |
| 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 | 72 | 2012 |
