Q2741518 (Q2741518): Difference between revisions

@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495107
@@ Property / cites work: Q4495107 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the 3-satisfiability problem
+Normal rank
@@ Property / cites work @@
+Search algorithms in type theory
@@ Property / cites work: Search algorithms in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Q5687269
@@ Property / cites work: Q5687269 / rank @@
+Normal rank
@@ Property / cites work @@
+Lemma and cut strategies for propositional model elimination
+Normal rank
@@ Property / cites work @@
+Q5687274
@@ Property / cites work: Q5687274 / rank @@
+Normal rank