On market-inspired approaches to propositional satisfiability (Q814434): Difference between revisions

@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+The Walras algorithm: A convergent distributed implementation of general equilibrium outcomes
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining the phase transition in combinatorial search
+Normal rank
@@ Property / cites work @@
+Phase transitions and the search problem
@@ Property / cites work: Phase transitions and the search problem / rank @@
+Normal rank
@@ Property / cites work @@
+Bilateral trade with the sealed bid k-double auction: Existence and efficiency
+Normal rank
@@ Property / cites work @@
+On rational computability and communication complexity
+Normal rank
@@ Property / cites work @@
+Q4488090
@@ Property / cites work: Q4488090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386919
@@ Property / cites work: Q4386919 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjectural equilibrium in multiagent learning
@@ Property / cites work: Conjectural equilibrium in multiagent learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704218
@@ Property / cites work: Q4704218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704802
@@ Property / cites work: Q2704802 / rank @@
+Normal rank