Artificial Intelligence and Symbolic Computation

DOI10.1007/B100361MaRDI QIDQ5464696zbMATH OpenOpenAlexFDO

Authors Laurent Granvilliers, Mina Ouabiba

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100361

zbMATH Keywords

Interval arithmeticlocal consistencynumerical constraintredundant constraintsymbolic algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30)

Recommendations

• On the combination of interval constraint solvers
• scientific article; zbMATH DE number 1738689
• scientific article; zbMATH DE number 2079838
• scientific article; zbMATH DE number 2086595
• scientific article; zbMATH DE number 2247681

Cited in

(8)

• On the combination of interval constraint solvers
• scientific article; zbMATH DE number 1322791 (Why is no real title available?)
• scientific article; zbMATH DE number 2079838 (Why is no real title available?)
• scientific article; zbMATH DE number 1738689 (Why is no real title available?)
• scientific article; zbMATH DE number 2086595 (Why is no real title available?)
• Solving non-linear constraint satisfaction problems involving time-dependent functions
• scientific article; zbMATH DE number 2247681 (Why is no real title available?)
• A reinforcement learning approach to interval constraint propagation

This page was built for publication: Artificial Intelligence and Symbolic Computation

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