Login / Signup
Florian Régin
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Constraint Problems
Formal Specification
Finite Domain
Model Checking
Top Venues
ICTAI
</>
Publications
</>
Florian Régin
,
Elisabetta De Maria
Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems.
ICTAI
(2023)