New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072) (2022)

First Author: Abraham,E.,
Attributed to:  Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.67

Type: Journal Article/Review

Volume: 12

Parent Publication: Dagstuhl Reports

Issue: 2