-
Constraint problems learning
Constraint programming allows to model many kind of problems with efficient solving methods. However, its complexity has increased these last years and its use,... -
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpr...
International audience
