( en | de | ru )

 

Disambiguation of "Gillard, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
SolverCheck: Declarative Testing of Constraints.

, , and . CP, volume 11802 of Lecture Notes in Computer Science, page 565-582. 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.

Xavier Fontaine

Xavier Domont

Xavier Lambin

Arumainathan Xavier

Xavier Leroy

 

Other publications of authors with the same name

Discrete optimization with decision diagrams: design of a generic solver, improved bounding techniques, and discovery of good feasible solutions with large neighborhood search.. Catholic University of Louvain, Louvain-la-Neuve, Belgium, (2022)base-search.net (ftunivlouvain:oai:dial.uclouvain.be:boreal:266171).Improving the Filtering of Branch-and-Bound MDD Solver., , , and . CPAIOR, volume 12735 of Lecture Notes in Computer Science, page 231-247. Springer, (2021)Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming., , and . CP, volume 280 of LIPIcs, page 13:1-13:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams., , and . CP, volume 235 of LIPIcs, page 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Improving the filtering of Branch-And-Bound MDD solver (extended)., , , and . CoRR, (2021)SolverCheck: Declarative Testing of Constraints., , and . CP, volume 11802 of Lecture Notes in Computer Science, page 565-582. Springer, (2019)Branch-and-Bound with Barrier: Dominance and Suboptimality Detection for DD-Based Branch-and-Bound., , and . CoRR, (2022)Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)., , , and . CP, volume 280 of LIPIcs, page 45:1-45:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Large Neighborhood Search with Decision Diagrams., and . IJCAI, page 4754-4760. ijcai.org, (2022)Ddo, a Generic and Efficient Framework for MDD-Based Optimization., , and . IJCAI, page 5243-5245. ijcai.org, (2020)Demo.