most citedA Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.DMShow all

1 paper · 1 filter

cs.DM2011★ 1 cited

A Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition

Hari Krishna Malladi, Ambedkar Dukkipati

The Cylindrical Algebraic Decomposition (CAD) algorithm is a comprehensive tool to perform quantifier elimination over real closed fields. CAD has doubly exponential running time,…