Clausal Forms in MaxSAT and MinSAT

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISSN: 1875-6883
• Umfang: Online-Ressource
• Sprache: Englisch
• Anmerkungen: online resource.

Verweise und Beziehungen

• Erschienen in: Clausal Forms in MaxSAT and MinSAT ; volume:15 ; number:1 ; day:11 ; month:11 ; year:2022 ; pages:1-12 ; date:12.2022 ; International journal of computational intelligence systems ; 15, Heft 1 (11.11.2022), 1-12, 12.2022

Beteiligte, Orts- und Zeitangaben

• Urheber: Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon ; Vidal, Amanda
• Beteiligte Personen und Organisationen: SpringerLink (Online service)

Weitere Informationen

• DOI: 10.1007/s44196-022-00143-z
• URN: urn:nbn:de:101:1-2023012522212809212039
• Rechteinformation: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 15.08.2025, 07:20 MESZ