SAT problems with chains of dependent variables (Q1408386): Difference between revisions

@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+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 @@
+Q4386971
@@ Property / cites work: Q4386971 / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Limit distribution for the existence of Hamiltonian cycles in a random graph
+Normal rank
@@ Property / cites work @@
+Q4473036
@@ Property / cites work: Q4473036 / rank @@
+Normal rank
@@ Property / cites work @@
+Coloration neighbourhood search with forward checking
+Normal rank
@@ Property / cites work @@
+Q5687270
@@ Property / cites work: Q5687270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488090
@@ Property / cites work: Q4488090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230728
@@ Property / cites work: Q4230728 / rank @@
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank