Skip to content

Solving Constraints over Floating-Point Numbers.

Claude Michel, Michel Rueher, Yahia Lebbah

VenueACP
Year2001
ProceedingsCP

Browse the full CP paper archive.