Truth table invariant cylindrical algebraic decomposition
- R. Bradford
- , J. H. Davenport
- , Matthew England
- , S. McCallum
- , D. Wilson
- University of Bath
- Macquarie University
Research output: Contribution to journal › Article › peer-review
42
Link opens in a new tab
Citations
(Scopus)
129
Downloads
(Pure)