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)

Fingerprint

Dive into the research topics of 'The ksmt calculus is a δ-complete decision procedure for non-linear constraints'. Together they form a unique fingerprint.

Mathematics

Computer Science