Research output per year
Research output per year
Fingerprint
Dive into the research topics where M.L. Flippo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Conference contribution
-
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
Flippo, M., Sidorov, K., Marijnissen, I., Smits, J. & Demirović, E., 2024, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw, P. (ed.). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 11. (Leibniz International Proceedings in Informatics; vol. 307).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile47 Downloads (Pure)
Projects
- 1 Active
-
Towards a Unification of AI-Based Solving Paradigms for Combinatorial Optimisation
1/09/22 → 1/09/26
Project: Research