Author of the publication

Non-Model-Based Algorithm Portfolios for SAT.

, , , and . SAT, volume 6695 of Lecture Notes in Computer Science, page 369-370. 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

Instance-Specific Algorithm Configuration. Springer, (2014)Feature Filtering for Instance-Specific Algorithm Configuration., and . ICTAI, page 849-855. IEEE Computer Society, (2011)Structure-Preserving Instance Generation., , , and . LION, volume 10079 of Lecture Notes in Computer Science, page 123-140. Springer, (2016)Backdoors to Combinatorial Optimization: Feasibility and Optimality., , , , and . CPAIOR, volume 5547 of Lecture Notes in Computer Science, page 56-70. Springer, (2009)DASH: Dynamic Approach for Switching Heuristics., , , and . Eur. J. Oper. Res., 248 (3): 943-953 (2016)Online Search Algorithm Configuration., , , and . AAAI, page 3104-3105. AAAI Press, (2014)ReACT: Real-Time Algorithm Configuration through Tournaments., , , and . SOCS, page 62-70. AAAI Press, (2014)Evolving Instance Specific Algorithm Configuration., , and . SOCS, page 133-140. AAAI Press, (2013)ReACTR: Realtime Algorithm Configuration through Tournament Rankings., , and . IJCAI, page 304-310. AAAI Press, (2015)Parallel SAT Solver Selection and Scheduling., , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 512-526. Springer, (2012)