- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: MaxSAT Evaluation (2023)
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Technische Universität Hamburg. Universitätsbibliothek
- (when)
-
2023
- Creator
-
Lübke, Ole
Schupp, Sibylle
- DOI
-
10.15480/882.9031
- URN
-
urn:nbn:de:101:1-2024012402072883996194
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lübke, Ole
- Schupp, Sibylle
- Technische Universität Hamburg. Universitätsbibliothek
Time of origin
- 2023
Other Objects (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