9 citations · 9 across the 1 of their papers we have counts for
1 paper
Tereso del Río, Matthew England
It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuris…