Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint (2006)

by C Grandon, A Goldsztejn
Venue:In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems