Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability (Q814612): Difference between revisions

@@ Property / cites work @@
+A new adaptive multi-start technique for combinatorial global optimizations
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / 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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+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 @@
+An Effective Heuristic Algorithm for the Traveling-Salesman Problem
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+Q2741537
@@ Property / cites work: Q2741537 / rank @@
+Normal rank
@@ Property / cites work @@
+Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems
+Normal rank
@@ Property / cites work @@
+Q4475628
@@ Property / cites work: Q4475628 / rank @@
+Normal rank