Towards understanding and harnessing the potential of clause learning P Beame, H Kautz, A Sabharwal Journal of artificial intelligence research 22, 319-351, 2004 | 371 | 2004 |

Satisfiability solvers CP Gomes, H Kautz, A Sabharwal, B Selman Foundations of Artificial Intelligence 3, 89-134, 2008 | 361 | 2008 |

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 | 358 | 2018 |

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 | 340 | 2018 |

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 | 294 | 2018 |

Model counting CP Gomes, A Sabharwal, B Selman Handbook of satisfiability, 993-1014, 2021 | 197 | 2021 |

Algorithm selection and scheduling S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann International conference on principles and practice of constraint …, 2011 | 197 | 2011 |

Model counting: A new strategy for obtaining good bounds CP Gomes, A Sabharwal, B Selman AAAI 10, 1597538.1597548, 2006 | 159 | 2006 |

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 | 155 | 2015 |

Combining retrieval, statistics, and inference to answer elementary science questions P Clark, O Etzioni, T Khot, A Sabharwal, O Tafjord, P Turney, D Khashabi Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 149 | 2016 |

Qasc: A dataset for question answering via sentence composition T Khot, P Clark, M Guerquin, P Jansen, A Sabharwal Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 8082-8090, 2020 | 137 | 2020 |

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 | 136 | 2013 |

Unifiedqa: Crossing format boundaries with a single qa system D Khashabi, S Min, T Khot, A Sabharwal, O Tafjord, P Clark, H Hajishirzi arXiv preprint arXiv:2005.00700, 2020 | 133 | 2020 |

Near-uniform sampling of combinatorial spaces using XOR constraints CP Gomes, A Sabharwal, B Selman Advances In Neural Information Processing Systems 19, 2006 | 130 | 2006 |

Adversarial filters of dataset biases R Le Bras, S Swayamdipta, C Bhagavatula, R Zellers, M Peters, ... International Conference on Machine Learning, 1078-1088, 2020 | 127 | 2020 |

Understanding the power of clause learning P Beame, H Kautz, A Sabharwal IJCAI, 1194-1201, 2003 | 126 | 2003 |

Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering. Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann IJCAI 13, 608-614, 2013 | 120 | 2013 |

From Sampling to Model Counting. CP Gomes, J Hoffmann, A Sabharwal, B Selman IJCAI 2007, 2293-2299, 2007 | 120 | 2007 |

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 | 100 | 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 | 98 | 2016 |