Laureano Gonz'alez-Vega. A combinatorial algorithm solving some quantifier elimination problems. Technical Report 11-1993, University of Cantabria, Departemento de Mathematicas, Estadistica y Computaci'on, Facultad de Ciencias, Avenida de Los Castros, 39071 Santander, Spain, November 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Approaches to Parallel Quantifier Elimination - Dolzmann, Gloor, Sturm (1998) (1 citation) (Correct)
....Wei88] Thus the attention turned to special procedures for restricted problem classes, where the elimination procedures can be tuned to the structure of the problem. The focus was on considering formulas in which the occurrence of quantified variables is restricted to low degrees [Hon93b, Hon93c, GV93] This was initiated by a theoretical paper of Weispfenning in 1988 [Wei88] who introduced the method of virtual disjunctive term substitution, which has been continuously extended and improved [LW93, Wei94, Wei97a, DSW96, DS97b] The worst case complexity of this method is doubly exponential ....
Laureano Gonz'alez-Vega. A combinatorial algorithm solving some quantifier elimination problems. Technical Report 11-1993, University of Cantabria, Departemento de Mathematicas, Estadistica y Computaci'on, Facultad de Ciencias, Avenida de Los Castros, 39071 Santander, Spain, November 1993.
Real Quantifier Elimination in Practice - Dolzmann, Sturm, Weispfenning (1998) (3 citations) (Correct)
....attention turned to special procedures for restricted problem classes, where the elimination procedures can be tuned to the structure of the problem. The focus was on considering formulas in which the occurrence of quantified variables is restricted to low degrees, cf. Wei88,LW93,Hon93a,Hon93b,GV93,Wei94b,Wei97a] This was initiated by the third author in 1988. In his virtual substitution method the number of parameters plays a minor role for the complexity. The worst case complexity of the method is doubly exponential only in the number of the quantifier blocks of the input formula. This ....
Laureano Gonz'alez-Vega. A combinatorial algorithm solving some quantifier elimination problems. Technical Report 11-1993, University of Cantabria, Departemento de Mathematicas, Estadistica y Computaci'on, Facultad de Ciencias, Avenida de Los Castros, 39071 Santander, Spain, November 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC