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

England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator). (2015). Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition. University of Bath. 10.15125/BATH-00076