scientific article; zbMATH DE number 2084728

MaRDI QIDQ4475657zbMATH OpenFDO

Authors Claude Michel, Michel Rueher, Yahia Lebbah

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390524.htm

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Exploiting binary floating-point representations for constraint propagation
• Numeric bounds analysis with conflict-driven learning
• Deciding floating-point logic with abstract conflict driven clause learning
• An approximation framework for solvers and decision procedures
• Correct approximation of IEEE 754 floating-point arithmetic for program verification

Cited in

(13)

• An approximation framework for solvers and decision procedures
• Exploiting binary floating-point representations for constraint propagation
• Floating point method for solving transportation problems with additional constraints
• Solving the generalized mask constraint for test generation of binary floating point add operation.
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
• Numeric bounds analysis with conflict-driven learning
• Dashed strings for string constraint solving
• Deciding floating-point logic with abstract conflict driven clause learning
• Automatic detection of floating-point exceptions
• GWW metaheuristic to solve constraints on floating point numbers and application to test case generation
• Optimal inverse projection of floating-point addition
• Integration and propagation of a multi-criteria decision making model in constraint programming
• Semantics of roundoff error propagation in finite precision calculations

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 Q4475657)