Output details
11 - Computer Science and Informatics
University of Edinburgh
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase
<12> Originality: This is the first time the PCAD algorithm has been generalised so as to allow the use of fast incomplete proof procedures to speed and eliminate computations in the lifting phase of the algorithm.
Significance: Work opens up new opportunities for improving the performance of CAD-based algorithms. These algorithms have many industrially-relevant applications, so this work suggests how the algorithms could find wider use.
Rigour: Paper presents background mathematics and pseudo-code of central algorithm, along with proof of correctness of the algorithm and experimental results. Paper accepted at conference with acceptance rate for peer-reviewed papers of under 15%.