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 or section in a book/report/conference proceedingChapter or section

21 Citations (SciVal)
365 Downloads (Pure)
Filter
Finished

Search results