Back to Results
First PageMeta Content
Logic / Formal methods / Constraint programming / Logic in computer science / Satisfiability Modulo Theories / First-order logic / Interpretation / Theoretical computer science / Mathematical logic / Model theory


Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters
Add to Reading List

Document Date: 2015-02-05 02:10:38


Open Document

File Size: 692,62 KB

Share Result on Facebook

IndustryTerm

http /

Organization

NYU / /

Person

Tim King (Verimag) / Conway (Google) Liana Hadarean / Kshitij Bansal / Dejan Jovanovi / Andrew Reynolds / Cesare Tinelli / Morgan Deters / Chris Conway (Google) Liana / /

ProvinceOrState

Iowa / /

URL

http /

SocialTag