Integration of Quantifier Elimination with Constraint Logic Programming.

Thomas Sturm

Browse the full AISC paper archive.