A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications

DOI10.1504/IJOR.2010.033134zbMATH Open1195.90081OpenAlexW1993455665MaRDI QIDQ991853FDOQ991853

Authors: Chandra Sekhar Pedamallu, Linet Özdamar 

Publication date: 8 September 2010

Published in: International Journal of Operational Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1504/ijor.2010.033134

Recommendations

• Symbolic-interval cooperation in constraint programming
• Symbolic constraints in constructive geometric constraint solving
• scientific article; zbMATH DE number 1149429
• scientific article; zbMATH DE number 5370186
• Combining symbolic constraint solvers on algebraic domains
• scientific article; zbMATH DE number 1696595
• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• A synthesis of constraint satisfaction and constraint solving
• A procedure for deciding symbolic equivalence between sets of constraint systems

zbMATH Keywords

kinematicsconstraint satisfactioninterval methodsbranch and bound techniques

Mathematics Subject Classification ID

Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Nonlinear programming (90C30)

Cited In (4)

• Solving kinematics problems by efficient interval partitioning
• Efficient interval partitioning-local search collaboration for constraint satisfaction
• Symbolic-interval cooperation in constraint programming
• A Collaborative Solution Methodology for Inverse Position Problem

This page was built for publication: A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications

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