From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On Adversarial Search Spaces and Sampling-Based Planning., , и . ICAPS, стр. 242-245. AAAI, (2010)DPLL: The Core of Modern Satisfiability Solvers., , и . Martin Davis on Computability, Computational Logic, and Mathematical Foundations, том 10 из Outstanding Contributions to Logic, Springer, (2016)Algorithm Selection and Scheduling., , , , и . CP, том 6876 из Lecture Notes in Computer Science, стр. 454-469. Springer, (2011)Insights into Parallelism with Intensive Knowledge Sharing., и . CP, том 8656 из Lecture Notes in Computer Science, стр. 655-671. Springer, (2014)Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , и . LION, том 7997 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2013)Non-Model-Based Algorithm Portfolios for SAT., , , и . SAT, том 6695 из Lecture Notes in Computer Science, стр. 369-370. Springer, (2011)Closing the Gap Between Short and Long XORs for Model Counting., , , и . AAAI, стр. 3322-3329. AAAI Press, (2016)Model Counting: A New Strategy for Obtaining Good Bounds., , и . AAAI, стр. 54-61. AAAI Press, (2006)Probing Natural Language Inference Models through Semantic Fragments., , , и . AAAI, стр. 8713-8721. AAAI Press, (2020)AdvEntuRe: Adversarial Training for Textual Entailment with Knowledge-Guided Examples., , , и . ACL (1), стр. 2418-2428. Association for Computational Linguistics, (2018)