Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction., , , und . LION, Volume 7997 von Lecture Notes in Computer Science, Seite 153-167. Springer, (2013)Algorithm Selection and Scheduling., , , , und . CP, Volume 6876 von Lecture Notes in Computer Science, Seite 454-469. Springer, (2011)Insights into Parallelism with Intensive Knowledge Sharing., und . CP, Volume 8656 von Lecture Notes in Computer Science, Seite 655-671. Springer, (2014)DPLL: The Core of Modern Satisfiability Solvers., , und . Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Volume 10 von Outstanding Contributions to Logic, Springer, (2016)Non-Model-Based Algorithm Portfolios for SAT., , , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 369-370. Springer, (2011)On Adversarial Search Spaces and Sampling-Based Planning., , und . ICAPS, Seite 242-245. AAAI, (2010)An Empirical Study of Optimal Noise and Runtime Distributions in Local Search., , und . SAT, Volume 6175 von Lecture Notes in Computer Science, Seite 346-351. Springer, (2010)Maximizing the Spread of Cascades Using Network Design., , , , , , , , , und 1 andere Autor(en). UAI, Seite 517-526. AUAI Press, (2010)Adaptive Hashing for Model Counting., , , , , und . UAI, Volume 115 von Proceedings of Machine Learning Research, Seite 271-280. AUAI Press, (2019)Survey Propagation Revisited., , und . UAI, Seite 217-226. AUAI Press, (2007)