Cylindric Algebra Equation Solver.

Frank M. Brown, Carlos Araya

Browse the full CADE paper archive.