MaxSAT by improved instance-specific algorithm configuration (Q274404): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2015.12.006
@@ Property / DOI: 10.1016/j.artint.2015.12.006 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / 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 @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniMaxSat
@@ Property / describes a project that uses: MiniMaxSat / 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 @@
+SMAC
@@ Property / describes a project that uses: SMAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QMaxSAT
@@ Property / describes a project that uses: QMaxSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATenstein
@@ Property / describes a project that uses: SATenstein / 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.12.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2269865230
@@ Property / OpenAlex ID: W2269865230 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
+Normal rank
@@ Property / cites work @@
+Solving (Weighted) Partial MaxSAT through Satisfiability Testing
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Max-SAT solvers for over-constrained problems
+Normal rank
@@ Property / cites work @@
+Finding Optimal Algorithmic Parameters Using Derivative‐Free Optimization
+Normal rank
@@ Property / cites work @@
+Using experimental design to find effective parameter settings for heuristics
+Normal rank
@@ Property / cites work @@
+On Inconsistent Clause-Subsets for Max-SAT Solving
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+SATenstein: automatically building local search SAT solvers from components
+Normal rank
@@ Property / cites work @@
+Q2786911
@@ Property / cites work: Q2786911 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
+Normal rank
@@ Property / cites work @@
+Algorithms for Weighted Boolean Optimization
@@ Property / cites work: Algorithms for Weighted Boolean Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+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 @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2015.12.006
@@ Property / DOI: 10.1016/J.ARTINT.2015.12.006 / rank @@
+Normal rank