Tell a friend
Print
Riener, Heinz and Soeken, M. and Werther, C. and Fey, Görschwin and Drechlser, R. (2014) metaSMT: A unifield interface to SMT-LIB2. Forum on Specification and Design Languages, 2014-10-14 - 2014-10-16, Deutschland (München).
Full text not available from this repository.
Official URL: http://www.informatik.uni-bremen.de/agra/doc/konf/2014_fdl_metaSMT.pdf
Abstract
Various problems from artificial intelligence and formal methods are solved utilizing Satisfiability Modulo The- ories (SMT) solvers. Selecting the best SMT solver for a specific application, however, is a daunting task. In this paper, we present the novel metaSMT TCP server and client architecture which can be used to solve SMT instances expressed in SMT-LIB2 by multiple solver processes in parallel. The metaSMT TCP server provides a unified interface for SMT-LIB2 instances with the capability to either use the API or the file interface of a solver process and thus serves as a highly customizable portfolio solver. We show that the run-time overhead required by the metaSMT TCP server and client architecture is marginal using selected benchmarks from SMT-LIB.
| Item URL in elib: | https://elib.dlr.de/93844/ | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||
| Title: | metaSMT: A unifield interface to SMT-LIB2 | ||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||
| Date: | 2014 | ||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||
| Keywords: | satisfiability modula theories, unified interface, SMT-LIB2 | ||||||||||||||||||||||||
| Event Title: | Forum on Specification and Design Languages | ||||||||||||||||||||||||
| Event Location: | Deutschland (München) | ||||||||||||||||||||||||
| Event Type: | international Conference | ||||||||||||||||||||||||
| Event Start Date: | 14 October 2014 | ||||||||||||||||||||||||
| Event End Date: | 16 October 2014 | ||||||||||||||||||||||||
| Organizer: | IEEECEDA | ||||||||||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||||||
| DLR - Research theme (Project): | R - Core Avionics (old) | ||||||||||||||||||||||||
| Location: | Bremen | ||||||||||||||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||||||||||
| Deposited By: | Hoffmann, Jana Christin | ||||||||||||||||||||||||
| Deposited On: | 08 Jan 2015 11:43 | ||||||||||||||||||||||||
| Last Modified: | 24 Apr 2024 19:59 |
Repository Staff Only: item control page
