Heterogeneous constraint solving

DOI10.1007/3-540-61735-3_4zbMath1355.68030OpenAlexW1602856035MaRDI QIDQ2956713

Frédéric Benhamou

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_4

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

A conservative scheme for parallel interval narrowing ⋮ Constraint propagation on quadratic constraints ⋮ How efficient is a global constraint in practice? A fair experimental framework ⋮ The essence of constraint propagation ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes ⋮ Enhancing numerical constraint propagation using multiple inclusion representations ⋮ The octagon abstract domain for continuous constraints ⋮ View-based propagation of decomposable constraints