On Variables with Few Occurrences in Conjunctive Normal Forms (Q3007672): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1673478525
@@ Property / OpenAlex ID: W1673478525 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5756
@@ Property / arXiv ID: 1010.5756 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+Normal rank
@@ Property / cites work @@
+On subclasses of minimal unsatisfiable formulas
@@ Property / cites work: On subclasses of minimal unsatisfiable formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
+Normal rank
@@ Property / cites work @@
+Green-Tao Numbers and SAT
@@ Property / cites work: Green-Tao Numbers and SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
+Normal rank
@@ Property / cites work @@
+On Variables with Few Occurrences in Conjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+A simplified NP-complete satisfiability problem
@@ Property / cites work: A simplified NP-complete satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Two tractable subclasses of minimal unsatisfiable formulas
+Normal rank