Satisfiability Checking meets Symbolic Computation (Project Paper).
Erika ÁbrahámJohn AbbottBernd BeckerAnna Maria BigattiMartin BrainBruno BuchbergerAlessandro CimattiJames H. DavenportMatthew EnglandPascal FontaineStephen ForrestAlberto GriggioDaniel KroeningWerner M. SeilerThomas SturmPublished in: CoRR (2016)