Login / Signup
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
Ghiles Ziat
Alexandre Maréchal
Marie Pelleau
Antoine Miné
Charlotte Truchet
Published in:
FM Workshops (2) (2019)
Keyphrases
</>
constraint solving
constraint propagation
constraint logic programming
constraint solver
constraint satisfaction problems
constraint satisfaction
special case
constraint programming
high level
integrity constraints
computational complexity
visual features