Sign in

Ein polyalgorithmischer Ansatz zur Eliminierung von Quantifizierern

By James Davenport and others
Die zylindrische algebraische Zerlegung (CAD) war das erste praktische Mittel, um eine echte Quantifizierer-Eliminierung (QE) durchzuführen, und ist immer noch eine wichtige Methode, mit vielen Verbesserungen seit Collins 'ursprünglicher Methode. Dennoch ist seine Komplexität inhärent doppelt exponentiell in der Anzahl der Variablen. Gegebenenfalls ist die virtuelle Termersetzung (VTS) effektiver, indem... Show more
December 7, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
A Poly-algorithmic Approach to Quantifier Elimination
Click on play to start listening