Truth table invariant cylindrical algebraic decomposition

Russell Bradford, James H. Davenport, Matthew England, Scott McCallum, David Wilson

Research output: Contribution to journal › Article › peer-review

40 Citations (SciVal)

58 Downloads (Pure)

1 results
- Last Name(descending)

James Davenport
- J.H.Davenportbath.acuk
- Department of Computer Science - Hebron and Medlock Professor of Information Technology
- International Centre for Higher Education Management (ICHEM)
- Institute of Coding
- UKRI CDT in Accountable, Responsible and Transparent AI
- Mathematical Foundations of Computation
Person: Research & Teaching