On Davis-Putnam reductions for minimally unsatisfiable clause-sets (Q391124): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6244028
@@ Property / zbMATH DE Number: 6244028 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+clause-sets (CNFs)
@@ Property / zbMATH Keywords: clause-sets (CNFs) / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+minimal unsatisfiability
@@ Property / zbMATH Keywords: minimal unsatisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Davis-Putnam reduction
@@ Property / zbMATH Keywords: Davis-Putnam reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+variable elimination
@@ Property / zbMATH Keywords: variable elimination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+confluence
@@ Property / zbMATH Keywords: confluence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+isomorphism
@@ Property / zbMATH Keywords: isomorphism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+singular variables
@@ Property / zbMATH Keywords: singular variables / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+singular DP-reduction
@@ Property / zbMATH Keywords: singular DP-reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deficiency
@@ Property / zbMATH Keywords: deficiency / rank @@
+Normal rank

Revision as of 15:07, 29 June 2023