Core-Guided MaxSAT with Soft Cardinality Constraints

Autor:	Carmine Dodaro, Joao Marques-Silva, Antonio Morgado
Rok vydání:	2014
Předmět:	Mathematical optimization Computer Science (all) Maximum satisfiability problem Core (graph theory) Cardinality (SQL statements) Theoretical Computer Science Conjunctive normal form formula Conjunctive normal form Algorithm Mathematics
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319104270 CP
DOI:	10.1007/978-3-319-10428-7_41
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::053597de2176878a4151855e8f34e025 https://doi.org/10.1007/978-3-319-10428-7_41 Zobrazit plný text záznamu