Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.

Miguel Garca-Daz, Susana Nieva

Browse the full FLOPS paper archive.