Christophe Ponsard

From MaRDI portal
Person:1626718



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Generic support for precomputation-based global routing constraints in local search optimization2022-10-27Paper
Reasoning on sequences in constraint-based local search frameworks2018-11-21Paper
Towards Modelling Obligations in Event-B
Lecture Notes in Computer Science
2008-11-11Paper


Research outcomes over time


This page was built for person: Christophe Ponsard