| SolverCheck: Declarative testing of constraints X Gillard, P Schaus, Y Deville Principles and Practice of Constraint Programming: 25th International …, 2019 | 20 | 2019 |
| 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 | 19 | 2021 |
| 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 | 11 | 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 |
| Vianney Coppé X Gillard, P Schaus | | |
| Ddo, un cadre générique et performant pour l’optimisation à base de diagrammes de décision X Gillard, P Schaus, V Coppé | | |
Pierre SchausICTEAM, EPL, UCLouvainПодтвержден адрес электронной почты в домене uclouvain.be
