SATenstein: automatically building local search SAT solvers from components (Q2634473): Difference between revisions

@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Stochastic Local Search for SAT with a New Probability Distribution
+Normal rank
@@ Property / cites work @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3064527
@@ Property / cites work: Q3064527 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Learning dynamic algorithm portfolios
@@ Property / cites work: Learning dynamic algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Adaptive Noise and Look-Ahead in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+Autonomous operator management for evolutionary algorithms
+Normal rank
@@ Property / cites work @@
+Q3604003
@@ Property / cites work: Q3604003 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Captain Jack: New Variable Selection Heuristics in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of efficient constraint-satisfaction programs
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank