Truth table invariant cylindrical algebraic decomposition

The algorithm is implemented fully in Maple and we present both promising results from experimentation and a complexity analysis showing the benefits of our contributions.