Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations."
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1245357018 |
| Titel | Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations / by Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
| Person(en) |
Bloem, Roderick (Verfasser) Braud-Santoni, Nicolas (Verfasser) Hadzic, Vedad (Verfasser) Egly, Uwe (Verfasser) Lonsing, Florian (Verfasser) Seidl, Martina (Verfasser) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Umfang/Format | Online-Ressource : online resource. |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2021110820100859825806 DOI: 10.1007/s10703-021-00371-7 |
| URL | https://doi.org/10.1007/s10703-021-00371-7 (Open Access) |
| Zeitliche Einordnung | Erscheinungsdatum: 2021 |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Enthalten in: Formal methods in system design (23.8.2021: 1-21) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
