Symbolic Computation and Satisfiability Checking

Symbolic Computation and Satisfiability Checking

Uploads of data supporting papers (submitted papers, working papers etc., not necessarily waiting until after publication) from the SC2 community are welcomed. These are approved by the SC2 coordinator (currently J.H.Davenport@bath.ac.uk)