Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

M England, R.J. Bradford, J.H. Davenport, D. Wilson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)
135 Downloads (Pure)

Projects

Filter
Finished
Finished