-
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the... -
Covering Array generation using constraint programming
Nowadays, software companies develop and maintain their software for several clients. Consequently, these applications have to be integrated in heterogenous context... -
Rule-Based Constraint Programming
Article dans revue scientifique avec comité de lecture. -
Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Fin...
Colloque sur invitation. nationale. -
SAT and Hybrid Models of the Car Sequencing Problem
International audience -
Branch-and-Infer: a Framework for Combining CP and IP
Contribution à un ouvrage. -
Hybrid concurrent constraint programming: A well-suited formalism for modelli...
Colloque sans acte à diffusion restreinte. internationale. -
Multiscale modeling of alternative splicing regulation
Colloque avec actes et comité de lecture. internationale. -
A Tiling Perspective for Register Optimization
Register allocation is a much studied problem. A particularly important context for optimizing register allocation is within loops, since a significant fraction of the...
