Evaluating state-of-the-art #SAT solvers on industrial configuration spaces

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 38 von 315


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 38 von 315

Korrekturanfrage