SC-square: when Satisfiability Checking and Symbolic Computation join forces.
Erika ÁbrahámJohn AbbottBernd BeckerAnna Maria BigattiMartin BrainAlessandro CimattiJames H. DavenportMatthew EnglandPascal FontaineStephen ForrestVijay GaneshAlberto GriggioDaniel KroeningWerner M. SeilerPublished in: ARCADE@CADE (2017)