Autor der Publikation

Automated Discovery of Composite SAT Variable-Selection Heuristics.

. AAAI/IAAI, Seite 641-648. AAAI Press / The MIT Press, (2002)

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

Evolvable Hardware for Space Applications., , , und . ICES, Volume 1478 von Lecture Notes in Computer Science, Seite 166-173. Springer, (1998)Learning to Prune Dominated Action Sequences in Online Black-Box Planning., und . AAAI, Seite 839-845. AAAI Press, (2017)Block-Parallel IDA* for GPUs., und . SOCS, Seite 134-138. AAAI Press, (2017)Improving the search performance of SHADE using linear population size reduction., und . IEEE Congress on Evolutionary Computation, Seite 1658-1665. IEEE, (2014)Fault tolerance in distributed genetic algorithms with tree topologies., und . IEEE Congress on Evolutionary Computation, Seite 968-975. IEEE, (2009)Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search., und . ICAPS, Seite 184-192. AAAI Press, (2016)Tiebreaking Strategies for A* Search: How to Explore the Final Frontier., und . AAAI, Seite 673-679. AAAI Press, (2016)Efficient Implementations of SAT Local Search.. SAT, (2004)Cooperative mobile robotics: antecedents and directions., , , und . IROS (1), Seite 226-234. IEEE Computer Society, (1995)Genetic algorithm portfolios.. CEC, Seite 1304-1311. IEEE, (2000)