Back to Results
First PageMeta Content
Operations research / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability Modulo Theories / Mathematical optimization / Linear programming / Boolean satisfiability problem / Theoretical computer science / Applied mathematics / Mathematics


νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark
Add to Reading List

Document Date: 2015-01-22 06:10:53

Open Document

File Size: 455,88 KB

Share Result on Facebook

City

SATISFIABLE / /

Company

I. Ab / Microsoft / /

/

Facility

Technical University of Denmark / The SMT Library / /

IndustryTerm

online tutorial / bisection search / tuned tools / transportation / optimization algorithms / mixed symbolic/numerical algorithms / partial solutions / chemicals / /

Organization

Technical University of Denmark / Microsoft Solver Foundation / MIT / /

Person

Elvira Albert / /

Position

manager in the context / warehouse manager / experimental warehouse manager / /

Product

AX / /

ProgrammingLanguage

Java / C / Python / C++ / /

Technology

mixed symbolic/numerical algorithms / API / optimization algorithms / p2p / http / html / Integrated Circuits / CAD / /

URL

www.SMT-LIB.org / http /

SocialTag