The ksmt calculus is a δ-complete decision procedure for non-linear constraints

Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller

Research output: Contribution to journalArticlepeer-review

12 Downloads (Pure)

Search results