Truth table invariant cylindrical algebraic decomposition by regular chains

Russell Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David Wilson

Research output: Chapter in Book/Report/Conference proceedingChapter

18 Citations (Scopus)
361 Downloads (Pure)

Fingerprint Dive into the research topics of 'Truth table invariant cylindrical algebraic decomposition by regular chains'. Together they form a unique fingerprint.

Engineering & Materials Science