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

@@ Property / describes a project that uses @@
+NiVER
@@ Property / describes a project that uses: NiVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paramils
@@ Property / describes a project that uses: Paramils / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAT competition
@@ Property / describes a project that uses: SAT competition / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMAC
@@ Property / describes a project that uses: SMAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UBCSAT
@@ Property / describes a project that uses: UBCSAT / 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.2015.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2185085875
@@ Property / OpenAlex ID: W2185085875 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59585890
@@ Property / Wikidata QID: Q59585890 / 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 @@
+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