Heuristic search and pruning in polynomial constraints satisfaction

Annals of Mathematics and Artificial Intelligence

Volumn 19, Issue 3-4, 1997, Pages 319-334

  Hong, Hoon ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21744451094     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018911907086     Document Type: Article

References (27)

1. D.S. Arnon, Algorithms for the geometry of semi-algehraic sets, Ph.D. Thesis, Technical Report 436, Computer Sciences Dept., Univ. of Wisconsin-Madison (1981).
2. D.S. Arnon, A bibliography of quantifier elimination for real closed fields, Journal of Symbolic Computation 5(1,2) (1988) 267-274.
3. D.S. Arnon, A cluster-based cylindrical algebraic decomposition algorithm, Journal of Symbolic Computation 5(1,2) (1988) 189-212.
4. M. Ben-Or, D. Kozen and J.H. Reif, The complexity of elementary algebra and geometry, J. Cornput. System Sci. 32(2) (1986) 251-264.
5. B. Buchberger and H. Hong, Speeding-up quantifier elimination by Groebner bases, Technical Report 91-06.0, Research Institute for Symbolic Computation, Johannes Kepler University A-4040 Linz, Austria (1991).
6. J. Canny, Some algebraic and geometric computations in PSPACE, in: Proceedings of the 20th Annual ACM Symposium on the Theory of Computing (1988) pp. 460-467.
7. G.E. Collins, Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, in: Lecture Notes in Computer Science, Vol. 33 (Springer-Verlag, Berlin, 1975) pp. 134-183.
8. G.E. Collins and H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, Journal of Symbolic Computation 12(3) (September 1991) 299-328.
9. G.E. Collins and R. Loos, The SAC-2 Computer Algebra System (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria A-4040).
10. N. Fitchas, A. Galligo and J. Morgenstern, Algorithmes repides en sequential et en parallele pour 1' élimination de quantificateurs en géométrie élémentaire, Technical Report, UER de Mathématiques Universite de Paris VII (1987). To appear in: Séminaire Structures Algébriques Ordonnées.
11. D.Yu. Grigor'ev and N.N. Vorobjov, Jr., Solving systems of polynomial inequalities in subexponential time, Journal of Symbolic Computation 5(1,2) (1988) 37-64.
12. J. Heintz, M.-F. Roy and P. Solernó, On the complexity of semialgebraic sets, in: Proc. IFIP (1989) pp. 293-298.
13. H. Hong, An improvement of the projection operator in cylindrical algebraic decomposition, in: International Symposium of Symbolic and Algebraic Computation ISSAC-90 (1990) pp. 261-264.
14. H. Hong, Improvements in CAD-based quantifier elimination, Ph.D. Thesis, The Ohio State University (1990).
15. H. Hong, Comparison of several decision algorithms for the existential theory of the reals, Technical Report 91-41.0, Research Institute for Symbolic Computation, Johannes Kepler University A-4040 Linz, Austria (1991).
16. H. Hong, Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination, in: International Conference on Symbolic and Algebraic Computation ISSAC-92 (1992) pp. 177-188.
17. H. Hong, Parallelization of quantifier elimination on a workstation network, in: Proceedings of AAECC 10 (Puerto Rico) (1993).
18. H. Hong, Quantifier elimination for formulas constrained by quadratic equations, in: International Conference on Symbolic and Algebraic Computation ISSAC-93, Kiev (ACM, July 1993).
19. H. Hong, Quantifier elimination for formulas constrained by quadratic equations via slope resultants, The Computer Journal 36(5) (1993).
20. L. Langemyr, The cylindrical algebraic decomposition algorithm and multiple algebraic extensions, in: Proc. 9th IMA Conference on the Mathematics of Surfaces (September 1990).
21. D. Lazard, An improved projection for cylindrical algebraic decomposition. Unpublished manuscript (1990).
22. R.G.K. Loos, The algorithm description language AEDES (Report), ACM SIGSAM Bull. 10(1) (1976) 15-39.
23. S. McCallum, An improved projection operator for cylindrical algebraic decomposition, Ph.D. Thesis, University of Wisconsin-Madison (1984).
24. S. McCallum, Solving polynomial strict inequalities using cylindrical algebraic decomposition, Technical Report 87-25.0, RISC-LINZ, Johannes Kepler University, A-4040 Linz, Austria (1987).
25. J. Pearl, Heuristics (Intelligent Search Strategies for Computer Problem Solving) (Addison-Wesley, 1984).
26. J. Renegar, On the computational complexity and geometry of the first-order theory of the reals (part I), Technical Report 853, Cornell University, Ithaca, New York 14853-7501 USA (July 1989).
27. A. Tarski, A Decision Method for Elementary Algebra and Geometry (Univ. of California Press, Berkeley, 2nd edn., 1951).