Symbolic-interval cooperation in constraint programming

DOI10.1145/384101.384123MaRDI QIDQ2958925zbMATH OpenOpenAlexWikidataFDO

Authors Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou

Publication date 3 February 2017

Published in Proceedings of the 2001 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/384101.384123

zbMATH Keywords

constraint solvinginterval arithmeticsymbolic computation

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• Combining symbolic constraint solvers on algebraic domains
• A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications
• Efficient interval linear equality solving in constraint logic programming
• Symbolic constraints in constructive geometric constraint solving
• On the combination of interval constraint solvers
• scientific article; zbMATH DE number 5370186
• Symbolic constraint handling through unification in finite algebras
• Symbolic techniques in satisfiability solving

Cited in

(8)

• On the combination of interval constraint solvers
• Efficient interval partitioning-local search collaboration for constraint satisfaction
• scientific article; zbMATH DE number 1696806 (Why is no real title available?)
• A proposal for the cooperation of solvers in constraint functional logic programming
• Constraint-based analysis of composite solvers
• Representing and solving finite-domain constraint problems using systems of polynomials
• Pumping, cleaning and symbolic constraints solving
• A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications

This page was built for publication: Symbolic-interval cooperation in constraint programming

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