Search techniques for non-linear constraint satisfaction problems with inequalities

DOI10.1007/3-540-45153-6_18MaRDI QIDQ4530035zbMATH OpenFDO

Authors Marius Silaghi, Djamila Sam-Haroud, Boi Faltings

Publication date 7 May 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2056/20560183

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• Artificial Intelligence and Symbolic Computation
• Numerical constraint satisfaction problems with non-isolated solutions
• Finding sets of solutions to systems of nonlinear inequalities
• On the combination of interval constraint solvers
• Approximating a solution set of nonlinear inequalities

Cited in

(5)

• Interval propagation and search on directed acyclic graphs for numerical constraint solving
• Finding sets of solutions to systems of nonlinear inequalities
• scientific article; zbMATH DE number 2086979 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• Numerical constraint satisfaction problems with non-isolated solutions

This page was built for publication: Search techniques for non-linear constraint satisfaction problems with inequalities

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