Modular strategic SMT solving with SMT-RAT

  • Gereon Kremer, Erika Ábrahám
  • Acta Universitatis Sapientiae Informatica, August 2018, De Gruyter
  • DOI: 10.2478/ausi-2018-0001

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.2478/ausi-2018-0001