Ashish Sabharwal
Ashish Sabharwal
Allen Institute for AI (AI2)
Adresse e-mail validée de allenai.org - Page d'accueil
TitreCitée parAnnée
Towards understanding and harnessing the potential of clause learning
P Beame, H Kautz, A Sabharwal
Journal of Artificial Intelligence Research 22, 319-351, 2004
3142004
Satisfiability solvers
CP Gomes, H Kautz, A Sabharwal, B Selman
Foundations of Artificial Intelligence 3, 89-134, 2008
2702008
Algorithm selection and scheduling
S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
International Conference on Principles and Practice of Constraint …, 2011
1452011
Model counting
CP Gomes, A Sabharwal, B Selman
1272008
Understanding the power of clause learning
P Beame, H Kautz, A Sabharwal
IJCAI, 1194-1201, 2003
1142003
Model counting: A new strategy for obtaining good bounds
CP Gomes, A Sabharwal, B Selman
AAAI, 54-61, 2006
1132006
From Sampling to Model Counting.
CP Gomes, J Hoffmann, A Sabharwal, B Selman
IJCAI 2007, 2293-2299, 2007
972007
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
952013
Near-uniform sampling of combinatorial spaces using XOR constraints
CP Gomes, A Sabharwal, B Selman
Advances In Neural Information Processing Systems, 481-488, 2007
912007
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
842013
Revisiting the sequence constraint
WJ van Hoeve, G Pesant, LM Rousseau, A Sabharwal
International conference on principles and practice of constraint …, 2006
822006
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
812012
Scitail: A textual entailment dataset from science question answering
T Khot, A Sabharwal, P Clark
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
792018
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
792016
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
612015
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
612012
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
602018
Tradeoffs in the complexity of backdoor detection
B Dilkina, CP Gomes, A Sabharwal
International Conference on Principles and Practice of Constraint …, 2007
602007
QBF modeling: Exploiting player symmetry for simplicity and efficiency
A Sabharwal, C Ansotegui, CP Gomes, JW Hart, B Selman
International Conference on Theory and Applications of Satisfiability …, 2006
562006
Integrating systematic and local search paradigms: A new strategy for MaxSAT
L Kroc, A Sabharwal, CP Gomes, B Selman
Twenty-First International Joint Conference on Artificial Intelligence, 2009
552009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20