Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: Ina and Paul
Treffer 48 von 335
|
|
| Link zu diesem Datensatz | https://d-nb.info/1324541857 |
| Titel | Evaluating state-of-the-art #SAT solvers on industrial configuration spaces / Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer |
| Person(en) |
Sundermann, Chico (Verfasser) Heß, Tobias (Verfasser) Nieke, Michael (Verfasser) Bittner, Paul Maximilian (Verfasser) Young, Jeffrey M. (Verfasser) Thüm, Thomas (Verfasser) Schaefer, Ina (Verfasser) |
| Verlag | Ulm : Universität Ulm |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:bsz:289-oparu-52515-9 DOI: 10.18725/OPARU-52439 |
| URL | http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-52515-9 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: Empirical Software Engineering ; 28 (2023). - Art.-Nr. 29. - ISSN 1382-3256. - eISSN 1573-7616 |
| Schlagwörter | Produktlinie ; Erfüllbarkeitsproblem ; Benchmark |
| DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 48 von 335
Administration
