scientific article; zbMATH DE number 1322791

MaRDI QIDQ4253832zbMATH OpenFDO

Authors Olivier Lhomme, Michel Rueher

Publication date 19 July 2000

zbMATH Keywords

CSP reduction techniques

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 5370186
• Numerical constraint satisfaction problems with non-isolated solutions
• Dynamic optimization of interval narrowing algorithms
• Fast algebraic methods for interval constraint problems
• Artificial Intelligence and Symbolic Computation

Cited in

(8)

• Constraint reasoning based on interval arithmetic: The tolerance propagation approach
• Constructive Interval Disjunction
• scientific article; zbMATH DE number 5370186 (Why is no real title available?)
• Applying interval arithmetic to real, integer, and boolean constraints
• scientific article; zbMATH DE number 1059313 (Why is no real title available?)
• scientific article; zbMATH DE number 2086979 (Why is no real title available?)
• scientific article; zbMATH DE number 810103 (Why is no real title available?)
• Consistency techniques for the localization of a satellite

This page was built for publication:

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