goSAT: Floating-point satisfiability as global optimization
| Author: | M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz |
|---|---|
| URL: | https://ieeexplore.ieee.org/document/8102235 |
| DOI: | https://doi.org/10.23919/FMCAD.2017.8102235 |
| ISBN: | 978-0-9835678-7-5 |
| ISBN: | 978-1-5386-1012-1 |
| Parent Title (English): | 2017 Formal Methods in Computer Aided Design (FMCAD) |
| Secondary publication (full text): | https://dl.acm.org/doi/10.5555/3168451.3168461 |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2017 |
| Year of first Publication: | 2017 |
| Release Date: | 2025/11/06 |
| Page Number: | 4 |
| First Page: | 11 |
| Last Page: | 14 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Elektrotechnik und Informationstechnik / Entwurf Informationstechnischer Systeme |
| Open access state: | Grün Open-Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |