Back to Results
First PageMeta Content
Logic / Mathematical logic / Theoretical computer science / Model theory / Logic in computer science / Logical truth / Philosophy of logic / Satisfiability / Convex function / Universal quantification / Boolean satisfiability problem


Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research
Add to Reading List

Document Date: 2007-07-09 11:57:18


Open Document

File Size: 100,68 KB

Share Result on Facebook