INGI
Place Sainte Barbe 2/L5.02.01
1348 Louvain-la-Neuve
Xavier Gillard
Assistant de recherche
2024
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection. In: INFORMS Journal on Computing, (2024). doi:10.1287/ijoc.2022.0340 (Soumis).
2021
Gillard, Xavier. Improving the Filtering of Branch-and-Bound MDD Solver, éd. Schaus, Pierre, collab. Coppé, Vianney ; Cire, André Augusto. In: Peter J Stuckey, Integration of Constraint Programming, Artificial Intelligence, and Operations Research : Lecture Notes in Computer Science (Lecture Notes in Computer Science; 12735), Springer: Cham, 2021, p. 231-247. 978-3-030-78229-0. doi:10.1007/978-3-030-78230-6_15.
2024
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Upsa, du 28/05/2024 au 31/05/2024). In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research : Lecture Notes in Computer Science (LNCS; 14742), Springer, 2024. 9783031605963, p. 226-242. doi:10.1007/978-3-031-60597-0_15.
2023
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Accélération de l’algorithme de séparation et évaluation pour les diagrammes de décision grâce à la mémoïsation. Journées Francophones de Programmation par Contraintes (Strasbourg, France, du 03/07/2023 au 05/07/2023).
2023
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Boosting Decision Diagram-Based Branch-and-Bound by Pre-Solving with Aggregate Dynamic Programming. The 29th International Conference on Principles and Practice of Constraint Programming (Toronto, Canada, du 27/08/2023 au 31/08/2023).
2023
Golenvaux ; Gillard, Xavier ; Nijssen, Siegfried ; Schaus, Pierre. Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams. 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) (Toronto, Canada, du 27/08/2023 au 31/08/2023). In: Leibniz International Proceedings in Informatics (LIPIcs), (2023). doi:10.4230/LIPIcs.CP.2023.45.
2022
Gillard, Xavier ; Schaus, Pierre. Large Neighborhood Search with Decision Diagrams. International Joint Conference on Artificial Intelligence (Vienna, Austria, du 23/07/2022 au 29/07/2022).
2022
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Optimiser l'agencement d'une fabrique grâce aux diagrammes de décision. Journées Francophones de Programmation par Contraintes (Saint-Étienne, France, du 27/06/2022 au 29/06/2022).
2022
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) (Haifa, Israel).
2022
Coppé, Vianney ; Gillard, Xavier ; Schaus, Pierre. Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) (Haifa, Israel). In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022. 978-3-95977-240-2. doi:10.4230/LIPIcs.CP.2022.14.
2021
Gillard, Xavier. Improving the filtering of Branch-And-BoundMDD solver (extended). CPAIOR 2021 (Vienna, du 05/07/2021 au 08/07/2021).
2020
Gillard, Xavier. Ddo, a Generic and Efficient Framework for MDD-Based Optimization. International Joint Conference on Artificial Intelligence (IJCAI20) (Yokohama, du 07/01/2021 au 15/01/2021).
2019
Gillard, Xavier ; Schaus, Pierre ; Deville, Yves. SolverCheck: Declarative Testing of Constraints. The 25th International Conference on Principles and Practice of Constraint Programming (Stamford, CT, USA, du 30/09/2019 au 04/10/2019). In: Principles and Practice of Constraint Programming, Schiex, Thomas and de Givry, Simon, 2019. 978-3-030-30048-7. doi:10.1007/978-3-030-30048-7_33.
2019
Gillard, Xavier. Testé comme jamais.... JFPC 2019 (Albi, FRANCE, du 11/06/2019 au 14/06/2019). In: Actes des 15es Journées Francophones de Programmation par Contraintes, Xavier Lorca, Élise Vareilles : CGI - Centre Génie Industriel - Campus Jarlard - 81013 Albi CT Cédex 09, 2019. 979-10-91526-07-4, p. 127-132.
2017
Gillard, Xavier. On the community structure of SAT-BMC problems. PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) (Turin, du 18/09/2017 au 22/09/2017).
https://www.duo.uio.no/handle/10852/57814http://hdl.handle.net/2078.1/192969
2022
Gillard, Xavier. Discrete optimization with decision diagrams : design of a generic solver, improved bounding techniques, and discovery of good feasible solutions with large neighborhood search, prom. : Schaus, Pierre, 21/10/2022.