Back to Results
First PageMeta Content
Formal methods / Logic in computer science / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Vehicle Identification Number / Theoretical computer science / Applied mathematics / Electronic design automation


Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are
Add to Reading List

Document Date: 2011-10-17 17:03:30

Open Document

File Size: 299,45 KB

Share Result on Facebook

Company

Microsoft / /

/

IndustryTerm

binary search / particular solution / silver bullet solution / search progresses / graph search procedures / ubiquitous linear time algorithm / be solved using graph search procedures / /

Movie

D. 2 / D. 3 / /

Person

Nikolaj Bjørner / /

Position

model for the existing formulas / straight-forward / /

Technology

ubiquitous linear time algorithm / API / /

SocialTag