On Projection in CAD-Based Quantifier Elimination with Equational Constraint

@inproceedings{McCallum1999OnPI,
  title={On Projection in CAD-Based Quantifier Elimination with Equational Constraint},
  author={Scott McCallum},
  booktitle={ISSAC},
  year={1999}
}
Collins [4] observed t.hat quant.ifirr climimtion problen~s oft,en have cquat,ional constraints. and he asserted that. such const,raints ~a.11 be used to reduce the projection wt,s required for cylindrical algebraic decomposition (cad) lmwd qumtifier climinat.ion. This paper provides a. dct,ailed partial validity proof for t,lic: restricted equatiom.1 projection method out,lirwd by Collins [Ll]. The proof is sufficicmt t.0 valitMo the use of t.he nwt~hod for the first. projection of the… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 41 extracted citations

Similar Papers

Loading similar papers…