Quantified maximum satisfiability (Q272016): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C09
@@ Property / Mathematics Subject Classification ID: 90C09 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6570970
@@ Property / zbMATH DE Number: 6570970 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantified Boolean formula
@@ Property / zbMATH Keywords: quantified Boolean formula / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+optimization
@@ Property / zbMATH Keywords: optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT
@@ Property / zbMATH Keywords: SAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+MaxSAT
@@ Property / zbMATH Keywords: MaxSAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+smallest MUS/MES
@@ Property / zbMATH Keywords: smallest MUS/MES / rank @@
+Normal rank

Revision as of 15:43, 27 June 2023