An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.

Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai

Browse the full CASC paper archive.