Author of the publication

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

Modeling high school timetabling with bitvectors., and . Annals OR, 252 (2): 215-238 (2017)Solution Approaches for an Automotive Paint Shop Scheduling Problem., , , and . ICAPS, page 573-581. AAAI Press, (2019)Core-Boosted Linear Search for Incomplete MaxSAT., , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 39-56. Springer, (2019)Modeling and solving staff scheduling with partial weighted maxSAT., , and . Annals OR, 275 (1): 79-99 (2019)Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems., , , and . CoRR, (2019)An Investigation into Prediction + Optimisation for the Knapsack Problem., , , , , , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 241-257. Springer, (2019)MaxSAT-based large neighborhood search for high school timetabling., and . Computers & OR, (2017)An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation)., and . SAT, volume 7317 of Lecture Notes in Computer Science, page 489-490. Springer, (2012)Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers., , and . CP, volume 11008 of Lecture Notes in Computer Science, page 99-108. Springer, (2018)SAT-Based Approaches for the General High School Timetabling Problem.. IJCAI, page 5175-5176. ijcai.org, (2017)