Author of the publication

Reasoning about Constraint Models.

, , , , , and . PRICAI, volume 8862 of Lecture Notes in Computer Science, page 795-808. Springer, (2014)

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

Labelling Heuristics for CSP Application Domains.. CP, volume 2239 of Lecture Notes in Computer Science, page 769. Springer, (2001)A Commentary on "Breaking Row and Column Symmetries in Matrix Models"., , , , and . CoRR, (2019)A Framework for Combining Set Variable Representations., , , and . SARA, AAAI, (2013)Blocking time under basic priority inheritance: Polynomial bound and exact computation., , and . CoRR, (2018)Learning When to Use Automatic Tabulation in Constraint Model Reformulation., , , , , and . IJCAI, page 1902-1910. ijcai.org, (2023)Constraint Programming-Based Job Dispatching for Modern HPC Applications., , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 438-455. Springer, (2019)A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications., , and . CP, volume 210 of LIPIcs, page 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)AccaSim: a customizable workload management simulator for job dispatching research in HPC systems., , , and . Clust. Comput., 23 (1): 107-122 (2020)Online Job Failure Prediction in an HPC System., , and . CoRR, (2023)PM100: A Job Power Consumption Dataset of a Large-scale Production HPC System., , , and . SC Workshops, page 1812-1819. ACM, (2023)