Unrestricted resolution versus N-resolution (Q1185013): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(92)90216-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2076663305
@@ Property / OpenAlex ID: W2076663305 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution proofs of generalized pigeonhole principles
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+On the complexity of regular resolution and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619635
@@ Property / cites work: Q5619635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777983
@@ Property / cites work: Q3777983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682461
@@ Property / cites work: Q3682461 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution, Refinements, and Search Strategies: A Comparative Study
+Normal rank
@@ Property / Wikidata QID @@
+Q126352572
@@ Property / Wikidata QID: Q126352572 / rank @@
+Normal rank