: 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: CICM (2016)