scientific article; zbMATH DE number 2084728

zbMath1067.68658MaRDI QIDQ4475657

Michel Rueher, Yahia Lebbah, Claude Michel

Publication date: 9 August 2004

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Semantics of roundoff error propagation in finite precision calculations ⋮ Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ Deciding floating-point logic with abstract conflict driven clause learning ⋮ Integration and propagation of a multi-criteria decision making model in constraint programming ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ Dashed strings for string constraint solving ⋮ Optimal inverse projection of floating-point addition

This page was built for publication: