Ddo, a generic and efficient framework for mdd-based optimization X Gillard, P Schaus, V Coppé Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 20 | 2021 |
SolverCheck: Declarative testing of constraints X Gillard, P Schaus, Y Deville Principles and Practice of Constraint Programming: 25th International …, 2019 | 20 | 2019 |
Improving the filtering of branch-and-bound MDD solver X Gillard, V Coppé, P Schaus, AA Cire International Conference on Integration of Constraint Programming …, 2021 | 15 | 2021 |
Large Neighborhood Search with Decision Diagrams. X Gillard, P Schaus IJCAI, 4754-4760, 2022 | 12 | 2022 |
Discrete optimization with decision diagrams: design of a generic solver, improved bounding techniques, and discovery of good feasible solutions with large neighborhood search X Gillard UCL-Université Catholique de Louvain, 2022 | 6 | 2022 |
Solving the constrained single-row facility layout problem with decision diagrams V Coppé, X Gillard, P Schaus 28th International Conference on Principles and Practice of Constraint …, 2022 | 6 | 2022 |
Decision diagram-based branch-and-bound with caching for dominance and suboptimality detection V Coppé, X Gillard, P Schaus INFORMS Journal on Computing, 2024 | 3 | 2024 |
Branch-and-bound with barrier: Dominance and suboptimality detection for dd-based branch-and-bound V Copp’e, X Gillard, P Schaus ArXiv, abs/2211.13118, 2022 | 3 | 2022 |
Adding SAT-based model checking to the PyNuSMV framework X Gillard, C Pecheur, S BUSARD, R SADRE Ph. D. dissertation, Master’s thesis, M. Sc. Thesis, Université Catholique …, 2016 | 3 | 2016 |
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming V Coppé, X Gillard, P Schaus 29th International Conference on Principles and Practice of Constraint …, 2023 | 2 | 2023 |
On the community structure of SAT-BMC problems X Gillard, C Pecheur PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and …, 2017 | 1 | 2017 |
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams X Gillard, S Nijssen, P Schaus Leibniz International Proceedings in Informatics (LIPIcs), 2023 | | 2023 |
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper) N Golenvaux, X Gillard, S Nijssen, P Schaus 29th International Conference on Principles and Practice of Constraint …, 2023 | | 2023 |
Accélération de l’algorithme de séparation et évaluation pour les diagrammes de décision grâce à la mémoïsation V Coppé, X Gillard, P Schaus JFPC, 71, 2023 | | 2023 |
Optimiser l’agencement d’une fabrique grâce aux diagrammes de décision V Coppé, X Gillard, P Schaus Journées Francophones de Programmation par Contraintes, 2022 | | 2022 |
Improving the filtering of Branch-And-Bound MDD solver (extended) X Gillard, V Coppé, P Schaus, AA Cire arXiv preprint arXiv:2104.11951, 2021 | | 2021 |
Testé comme jamais... X Gillard, P Schaus JFPC 2019, 2019 | | 2019 |
Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) E Ábrahám, SL Tapia Tarifa Research report http://urn. nb. no/URN: NBN: no-35645, 2017 | | 2017 |
Recherche à Large Voisinage avec des Diagrammes de Décision X Gillard, P Schaus JFPC, 119, 0 | | |
Vianney Coppé X Gillard, P Schaus | | |