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)

Profiles