Solving Constraints over the Reals - A Multi-Solver Approach.

Philippe Marti, Michel Rueher

Browse the full ICTAI paper archive.