Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Formal methods / Automated theorem proving / Logic in computer science / School of Computer Science / University of Manchester / Constraint programming / Satisfiability modulo theories / Solver / Logic programming / Resolution


What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK
Add to Reading List

Document Date: 2018-07-19 05:32:19

Open Document

File Size: 236,21 KB

Share Result on Facebook