SolverCheck: Declarative Testing of Constraints. - Xavier Gillard; Pierre Schaus; Yves Deville (CP, 2019)

Ddo, a Generic and Efficient Framework for MDD-Based Optimization. - Xavier Gillard; Pierre Schaus; Vianney Coppé (IJCAI, 2020)

Improving the Filtering of Branch-and-Bound MDD Solver. - Xavier Gillard; Vianney Coppé; Pierre Schaus; André Augusto Ciré (CPAIOR, 2021)

Improving the filtering of Branch-And-Bound MDD solver (extended). - Xavier Gillard; Vianney Coppé; Pierre Schaus; André Augusto Ciré (CoRR, 2021)

Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. - Vianney Coppé; Xavier Gillard; Pierre Schaus (CP, 2022)

Large Neighborhood Search with Decision Diagrams. - Xavier Gillard; Pierre Schaus (IJCAI, 2022)

Branch-and-Bound with Barrier: Dominance and Suboptimality Detection for DD-Based Branch-and-Bound. - Vianney Coppé; Xavier Gillard; Pierre Schaus (CoRR, 2022)

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

Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming. - Vianney Coppé; Xavier Gillard; Pierre Schaus (CP, 2023)

Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper). - Nicolas Golenvaux; Xavier Gillard; Siegfried Nijssen; Pierre Schaus (CP, 2023)

Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. - Vianney Coppé; Xavier Gillard; Pierre Schaus (CPAIOR (1), 2024)

Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection. - Vianney Coppé; Xavier Gillard; Pierre Schaus (INFORMS J. Comput., 2024)