Author of the publication

Declarative Local Search for Predicate Logic.

, , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 340-346. Springer, (2019)

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

A Hybrid Tabu Search Algorithm for the Nurse Rostering Problem., , and . SEAL, volume 1585 of Lecture Notes in Computer Science, page 187-194. Springer, (1998)Semantic Components for Timetabling., , , and . PATAT, volume 3616 of Lecture Notes in Computer Science, page 17-33. Springer, (2004)Novel Metaheuristic Approaches to Nurse Rostering Problems in Belgian Hospitals., , and . Handbook of Scheduling, Chapman and Hall/CRC, (2004)A multi criteria meta-heuristic approach to nurse rostering., , , and . IEEE Congress on Evolutionary Computation, page 1197-1202. IEEE, (2002)A Combinatorial Benders' decomposition for the lock scheduling problem., , , and . Comput. Oper. Res., (2015)Analysis of Algorithm Components and Parameters: Some Case Studies., and . LION, volume 11353 of Lecture Notes in Computer Science, page 288-303. Springer, (2018)Evolving test instances of the Hamiltonian completion problem., , and . CoRR, (2020)Metaheuristics for Handling Time Interval Coverage Constraints in Nurse Scheduling., , , and . Appl. Artif. Intell., 20 (9): 743-766 (2006)Evolving test instances of the Hamiltonian completion problem., , and . Comput. Oper. Res., (2023)Towards a Knowledge Base for Performance Data: A Formal Model for Performance Comparison., and . GECCO (Companion), page 1189-1192. ACM, (2015)