Back to Results
First PageMeta Content
Electronic design automation / Formal methods / Logic in computer science / Constraint programming / Satisfiability Modulo Theories / Solver / Boolean satisfiability problem / Timeout / Transmission Control Protocol / Theoretical computer science / Applied mathematics / NP-complete problems


metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener1 Mathias Soeken1,2 Clemens Werther1
Add to Reading List

Document Date: 2014-07-29 13:06:58

Open Document

File Size: 107,18 KB

Share Result on Facebook

City

Bremen / SMT / /

Company

IOS Press / AMD / R. Sebastiani S. A. / DFKI GmbH / /

Continent

Europe / /

Country

Germany / /

/

EntertainmentAwardEvent

the Emmy / /

Event

FDA Phase / /

Facility

The Satisfiability Modulo Theories Library / University of Bremen / Institute of Computer Science / Institute of Space Systems / /

IndustryTerm

communication protocol / fault tolerance utilizing hardware-software-co-synthesis / open source software / metaSMT server / search problems / /

Organization

Institute of Space Systems / German Research Foundation / University of Bremen / U.S. Securities and Exchange Commission / German Aerospace Center / Institute of Computer Science / /

Person

Roberto Bruttomesso / /

Position

Command SMT-LIB2 Parser Generic Evaluator / parser and generic evaluator / Exec. / evaluator / generic evaluator / Z3 exec. / /

Product

Bremen / metaSMT server / LIB2 / /

ProgrammingLanguage

php / Python / C++ / /

PublishedMedium

Theory of Computing / /

RadioStation

Core / /

Technology

RAM / php / artificial intelligence / API / communication protocol / 965 processor / /

URL

http /

SocialTag