( en | de | ru )

 

Disambiguierung von "Sellmann, Meinolf"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallel SAT Solver Selection and Scheduling.

, , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 512-526. Springer, (2012)

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.

Meinolf Sellmann

Werner Sellmann

Rüdiger Sellmann

Georg Sellmann

Daniel Sellmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel SAT Solver Selection and Scheduling., , , und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 512-526. Springer, (2012)Heuristic Constraint Propagation., und . CP, Volume 2470 von Lecture Notes in Computer Science, Seite 738-743. Springer, (2002)Learning Back-Clauses in SAT - (Poster Presentation)., , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 498-499. Springer, (2012)The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems., und . CPAIOR, Volume 5015 von Lecture Notes in Computer Science, Seite 142-157. Springer, (2008)Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse., , und . CP, Volume 11008 von Lecture Notes in Computer Science, Seite 524-534. Springer, (2018)A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT., , und . AAAI, Seite 48-53. AAAI Press, (2011)Predisaster Preparation of Transportation Networks., und . AAAI, Seite 709-715. AAAI Press, (2015)Boosting evolutionary algorithm configuration., , und . Ann. Math. Artif. Intell., 90 (7-9): 715-734 (2022)Learning How to Optimize Black-Box Functions With Extreme Limits on the Number of Function Evaluations., , , und . CoRR, (2021)Approximated Consistency for Knapsack Constraints.. CP, Volume 2833 von Lecture Notes in Computer Science, Seite 679-693. Springer, (2003)