Q2741522 (Q2741522): Difference between revisions

@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / 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 @@
+Q4386921
@@ Property / cites work: Q4386921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433889
@@ Property / cites work: Q4433889 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel Search Algorithms for Discrete Optimization Problems
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to narrow search trees for satisfiability
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+Normal rank