Cylindrical algebraic decompositions for boolean combinations

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

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

31 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Cylindrical algebraic decompositions for boolean combinations'. Together they form a unique fingerprint.

Computer Science

Mathematics