Author of the publication

HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms.

, , , and . LION, volume 6683 of Lecture Notes in Computer Science, page 600-615. Springer, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners., , , , and . SOCS, AAAI Press, (2013)A Mixture-Model for the Behaviour of SLS Algorithms for SAT.. AAAI/IAAI, page 661-667. AAAI Press / The MIT Press, (2002)An Adaptive Noise Mechanism for WalkSAT.. AAAI/IAAI, page 655-660. AAAI Press / The MIT Press, (2002)Morphing: Combining Structure and Randomness., , , and . AAAI/IAAI, page 654-660. AAAI Press / The MIT Press, (1999)Voice Separation - A Local Optimization Approach., and . ISMIR, (2002)Automatic Configuration of Multi-Objective Local Search Algorithms for Permutation Problems., , , and . Evolutionary Computation, 27 (1): 147-171 (2019)A note on improving the performance of approximation algorithms for radiation therapy., , , , , and . Inf. Process. Lett., 111 (7): 326-333 (2011)Computational RNA secondary structure design: empirical complexity and improved methods., , and . BMC Bioinformatics, (2007)ASlib: A benchmark library for algorithm selection., , , , , , , , , and 1 other author(s). Artif. Intell., (2016)An adaptive bin framework search method for a beta-sheet protein homopolymer model., and . BMC Bioinformatics, (2007)