- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1875-6883
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Li, Chu Min
Manyà, Felip
Soler, Joan Ramon
Vidal, Amanda
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s44196-022-00143-z
- URN
-
urn:nbn:de:101:1-2023012522212809212039
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 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
- Li, Chu Min
- Manyà, Felip
- Soler, Joan Ramon
- Vidal, Amanda
- SpringerLink (Online service)
Other Objects (12)
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
sat
SAT
SAT
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
sat
SAT
SAT
noSAT-MaxSAT
SAT OOC unleserlich sAt
SAT
SAT
SAT
SAT
SAT
SAT
SAT
sat
SAT