Microsoft Research Community
Welcome to Microsoft Research Community
Sign in
|
Join
|
Rules
Search
Home
Blogs
Forums
Leonardo de Moura
Member since:
01-04-2008
Last visited:
01-21-2008
Timezone:
-8.00 GMT
Location:
Redmond
Occupation:
Researcher
Interests:
SMT, SAT, Theorem Provers, Decision Procedures
Total Posts:
5
Post Rank:
4
Options
View Leonardo de Moura's web site
Search for posts by Leonardo de Moura
About Leonardo de Moura
Sorry, no bio is available
Recommended Reading
Recent Posts
©2007 Microsoft Corporation. All rights reserved.
Terms of Use
|
Trademarks
|
Privacy Statement
|
Feedback