Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

Dataset

Description

These files comprise the data set supporting the following paper:

##########################################################################################
Truth table invariant cylindrical algebraic decomposition.
Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson.
http://opus.bath.ac.uk/38146/
##########################################################################################

See the file README.txt or the abstract for more details
Date made available2015
PublisherUniversity of Bath

Cite this