Modular strategic SMT solving with SMT-RAT

Warsaw / De Gruyter Open (2018) [Journal Article]

Acta Universitatis Sapientiae / Informatica
Volume: 10
Issue: 1
Page(s): 5-25

Authors

Authors

Kremer, Gereon
Ábrahám, Erika

Identifier