Tell a friend
Print
Riener, Heinz and Haedicke, Finn and Frehse, Stefan and Soeken, Mathias and Große, Daniel and Drechsler, Rolf and Fey, Goerschwin (2016) metaSMT: Focus On Your Application And Not On Solver Integration. International Journal on Software Tools for Technology Transfer. Springer. doi: 10.1007/s10009-016-0426-1. ISSN 1433-2779.
Full text not available from this repository.
| Item URL in elib: | https://elib.dlr.de/105559/ | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Article | ||||||||||||||||||||||||||||||||
| Title: | metaSMT: Focus On Your Application And Not On Solver Integration | ||||||||||||||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||||||||||||||
| Date: | 2016 | ||||||||||||||||||||||||||||||||
| Journal or Publication Title: | International Journal on Software Tools for Technology Transfer | ||||||||||||||||||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||||||||||||||||||
| Open Access: | No | ||||||||||||||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||||||||||||||
| In SCOPUS: | Yes | ||||||||||||||||||||||||||||||||
| In ISI Web of Science: | Yes | ||||||||||||||||||||||||||||||||
| DOI: | 10.1007/s10009-016-0426-1 | ||||||||||||||||||||||||||||||||
| Publisher: | Springer | ||||||||||||||||||||||||||||||||
| ISSN: | 1433-2779 | ||||||||||||||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||||||||||||||
| Keywords: | reasoning techniques, proof technology | ||||||||||||||||||||||||||||||||
| 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 - Systemtechnologien (old) | ||||||||||||||||||||||||||||||||
| Location: | Bremen | ||||||||||||||||||||||||||||||||
| Institutes and Institutions: | Institute of Space Systems > Avionics Systems | ||||||||||||||||||||||||||||||||
| Deposited By: | Fey, Görschwin | ||||||||||||||||||||||||||||||||
| Deposited On: | 04 Aug 2016 12:23 | ||||||||||||||||||||||||||||||||
| Last Modified: | 06 Nov 2023 08:29 |
Repository Staff Only: item control page
