scientific article; zbMATH DE number 2084728

zbMATH Open1067.68658MaRDI QIDQ4475657FDOQ4475657

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (13)

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

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)