Building Bridges between Symbolic Computation and Satisfiability Checking.

Erika brahm

Browse the full ISSAC paper archive.