noSAT-MaxSAT

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Bacchus, F., Berg, J., Järvisalo, M., Martins, R., & Niskanen, A. (Eds.) (2022). MaxSAT Evaluation 2022: Solver and Benchmark Descriptions. (Department of Computer Science Series of Publications B; Vol. B-2022-2). Department of Computer Science, University of Helsinki. - Seite 29-30 (2022)

Ereignis
Veröffentlichung
(wo)
Hamburg
(wer)
Universitätsbibliothek der Technischen Universität Hamburg
(wann)
2022
Urheber

DOI
10.15480/882.4769
URN
urn:nbn:de:gbv:830-882.0205351
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2022

Ähnliche Objekte (12)

noSAT-MaxSATv2

noSAT-MaxSATv2

SAT OOC unleserlich sAt

Graffiti | Streetart

SAT OOC unleserlich sAt

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

sat

Graffiti | Streetart

sat

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

SAT

Graffiti | Streetart

SAT

Verbundene Objekte