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

@@ Property / DOI @@
-.1016/j.artint.2004.04.001
@@ Property / DOI: 10.1016/j.artint.2004.04.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+BG-WalkSAT
@@ Property / describes a project that uses: BG-WalkSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATLIB
@@ Property / describes a project that uses: SATLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2004.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1586919270
@@ Property / OpenAlex ID: W1586919270 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ARTINT.2004.04.001
@@ Property / DOI: 10.1016/J.ARTINT.2004.04.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:814612