Ashish Sabharwal
Ashish Sabharwal
Allen Institute for AI (AI2)
Потвърден имейл адрес: allenai.org - Начална страница
ЗаглавиеПозоваванияГодина
Towards understanding and harnessing the potential of clause learning
P Beame, H Kautz, A Sabharwal
Journal of Artificial Intelligence Research 22, 319-351, 2004
3062004
Satisfiability solvers
CP Gomes, H Kautz, A Sabharwal, B Selman
Foundations of Artificial Intelligence 3, 89-134, 2008
2582008
Algorithm selection and scheduling
S Kadioglu, Y Malitsky, A Sabharwal, H Samulowitz, M Sellmann
International Conference on Principles and Practice of Constraint …, 2011
1382011
Model counting
CP Gomes, A Sabharwal, B Selman
1182008
Model counting: A new strategy for obtaining good bounds
CP Gomes, A Sabharwal, B Selman
AAAI, 54-61, 2006
1112006
Understanding the power of clause learning
P Beame, H Kautz, A Sabharwal
IJCAI, 1194-1201, 2003
1102003
From Sampling to Model Counting.
CP Gomes, J Hoffmann, A Sabharwal, B Selman
IJCAI 2007, 2293-2299, 2007
912007
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
902013
Near-uniform sampling of combinatorial spaces using XOR constraints
CP Gomes, A Sabharwal, B Selman
Advances In Neural Information Processing Systems, 481-488, 2007
862007
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
802013
Revisiting the sequence constraint
WJ van Hoeve, G Pesant, LM Rousseau, A Sabharwal
International conference on principles and practice of constraint …, 2006
792006
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
762012
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
712016
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
602012
Tradeoffs in the complexity of backdoor detection
B Dilkina, CP Gomes, A Sabharwal
International Conference on Principles and Practice of Constraint …, 2007
592007
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
562015
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
552006
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
532009
Low-density parity constraints for hashing-based discrete integration
S Ermon, C Gomes, A Sabharwal, B Selman
International Conference on Machine Learning, 271-279, 2014
522014
Scitail: A textual entailment dataset from science question answering
T Khot, A Sabharwal, P Clark
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
512018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20