noSAT-MaxSAT

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch

References and Relationships

• Bibliographic citation: 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)

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Hamburg
• (who): Universitätsbibliothek der Technischen Universität Hamburg
• (when): 2022
• Creator: Lübke, Ole ; Schupp, Sibylle

Further information

• DOI: 10.15480/882.4769
• URN: urn:nbn:de:gbv:830-882.0205351
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 25.03.2025, 1:47 PM CET