Back to Results
First PageMeta Content
Model theory / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Structure / Well-formed formula / Boolean satisfiability problem / Mathematics / Theoretical computer science / Logic


SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research
Add to Reading List

Document Date: 2006-11-12 03:14:38


Open Document

File Size: 289,68 KB

Share Result on Facebook

Company

Microsoft / /

/

Person

Ashish Tiwari / Clark Barrett / Cesare Tinelli / Harald Ruess / /

Position

driver / /

Technology

Java / Simulation / /

URL

http /

SocialTag