NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218098
@@ Property / cites work: Q4218098 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4650571
@@ Property / cites work: Q4650571 / rank @@
+Normal rank
@@ Property / cites work @@
+An exponential separation between the parity principle and the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4399249
@@ Property / cites work: Q4399249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263835
@@ Property / cites work: Q4263835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699307
@@ Property / cites work: Q4699307 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Finding Read-Once NAE-Resolution Refutations
+Normal rank
@@ Property / cites work @@
+Finding read-once resolution refutations in systems of 2CNF clauses
+Normal rank
@@ Property / cites work @@
+The complexity of read-once resolution
@@ Property / cites work: The complexity of read-once resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3090774
@@ Property / cites work: Q3090774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+XSAT and NAE-SAT of linear CNF classes
@@ Property / cites work: XSAT and NAE-SAT of linear CNF classes / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Color critical hypergraphs with many edges
@@ Property / cites work: Color critical hypergraphs with many edges / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Absorbing random walks and the NAE2SAT problem
@@ Property / cites work: Absorbing random walks and the NAE2SAT problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539605
@@ Property / cites work: Q4539605 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional                                                   Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s096012952000016x
+Normal rank
@@ Property / OpenAlex ID @@
+W3097893064
@@ Property / OpenAlex ID: W3097893064 / rank @@
+Normal rank