Heterogeneous constraint solving

DOI10.1007/3-540-61735-3_4MaRDI QIDQ2956713zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2084773
• Solving mixed and conditional constraint satisfaction problems
• Hybrid Algorithms in Constraint Programming
• Constraint Satisfaction
• Constraint Programming and Local Search Hybrids
• scientific article; zbMATH DE number 1688811
• A methodological view of constraint solving
• Hybrid tractable classes of constraint problems
• Solving quantified constraint satisfaction problems

Cited in

(12)

• scientific article; zbMATH DE number 67819 (Why is no real title available?)
• Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
• scientific article; zbMATH DE number 1696595 (Why is no real title available?)
• The essence of constraint propagation
• The octagon abstract domain for continuous constraints
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• How efficient is a global constraint in practice? A fair experimental framework
• A conservative scheme for parallel interval narrowing
• Constraint propagation on quadratic constraints
• View-based propagation of decomposable constraints
• Program Development in Computational Logic
• Enhancing numerical constraint propagation using multiple inclusion representations

This page was built for publication: Heterogeneous constraint solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956713)