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.

 

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

An Empirical Study of Optimal Noise and Runtime Distributions in Local Search., , и . SAT, том 6175 из Lecture Notes in Computer Science, стр. 346-351. Springer, (2010)Leveraging belief propagation, backtrack search, and statistics for model counting., , и . Ann. Oper. Res., 184 (1): 209-231 (2011)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)Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , и . LION, том 7997 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2013)Insights into Parallelism with Intensive Knowledge Sharing., и . CP, том 8656 из Lecture Notes in Computer Science, стр. 655-671. Springer, (2014)Algorithm Selection and Scheduling., , , , и . CP, том 6876 из Lecture Notes in Computer Science, стр. 454-469. Springer, (2011)Maximizing the Spread of Cascades Using Network Design, , , , , , , , , и 1 other автор(ы). CoRR, (2012)Non-Model-Based Algorithm Portfolios for SAT., , , и . SAT, том 6695 из Lecture Notes in Computer Science, стр. 369-370. Springer, (2011)AdaWISH: Faster Discrete Integration via Adaptive Quantiles., , , и . CoRR, (2019)