SAT-based MaxSAT algorithms (Q360042): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6201291
@@ Property / zbMATH DE Number: 6201291 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2071319337
@@ Property / OpenAlex ID: W2071319337 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60512091
@@ Property / Wikidata QID: Q60512091 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:360042