Search results for: Timo Berthold
Mathematical Programming Computation > 2019 > 11 > 4 > 675-702
EURO Journal on Computational Optimization > 2019 > 7 > 1 > 1-14
Journal of Global Optimization > 2018 > 70 > 1 > 189-206
Journal of Global Optimization > 2017 > 67 > 4 > 731-757
Optimization Letters > 2017 > 11 > 1 > 3-15
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Extended Abstracts > 309-311
Lecture Notes in Computer Science > Theory and Practice of Algorithms in (Computer) Systems > 229-239
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Optimisation Algorithms > 441-446
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 51-55
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 313-317
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > Long Papers > 6-20
Journal of Heuristics > 2015 > 21 > 1 > 73-106
Mathematical Programming Computation > 2014 > 6 > 1 > 33-54
Mathematical Programming > 2014 > 144 > 1-2 > 315-346
Operations Research Letters > 2013 > 41 > 6 > 611-614
Mathematical Programming Computation > 2011 > 3 > 2 > 103-163