- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: MaxSAT Evaluation (2023)
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Technische Universität Hamburg. Universitätsbibliothek
- (wann)
-
2023
- Urheber
-
Lübke, Ole
Schupp, Sibylle
- DOI
-
10.15480/882.9031
- URN
-
urn:nbn:de:101:1-2024012402072883996194
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lübke, Ole
- Schupp, Sibylle
- Technische Universität Hamburg. Universitätsbibliothek
Entstanden
- 2023
Ähnliche Objekte (12)
noSAT-MaxSAT
noSAT-MaxSATv3
Clausal Forms in MaxSAT and MinSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
SAT
noSAT-MaxSAT
noSAT-MaxSATv3
Clausal Forms in MaxSAT and MinSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
SAT
noSAT-MaxSAT
noSAT-MaxSATv3
Clausal Forms in MaxSAT and MinSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT