Xavier Gillard

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Discrete optimization with decision diagrams: design of a generic solver, improved bounding techniques, and discovery of good feasible solutions with large neighborhood search.

[BibT_eX]

[DOI]

PhD thesis, 2022

Branch-and-Bound with Barrier: Dominance and Suboptimality Detection for DD-Based Branch-and-Bound.

[BibT_eX]

[DOI]

CoRR, 2022

Large Neighborhood Search with Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Improving the filtering of Branch-And-Bound MDD solver (extended).

[BibT_eX]

[DOI]

CoRR, 2021

Improving the Filtering of Branch-and-Bound MDD Solver.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

Ddo, a Generic and Efficient Framework for MDD-Based Optimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

SolverCheck: Declarative Testing of Constraints.

[BibT_eX]

[DOI]