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