MaxSAT by improved instance-specific algorithm configuration
From MaRDI portal
Publication:274404
DOI10.1016/j.artint.2015.12.006zbMath1352.68218OpenAlexW2269865230MaRDI QIDQ274404
Carlos Ansótegui, Meinolf Sellmann, Joel Gabàs, Yuri Malitsky
Publication date: 22 April 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2015.12.006
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
New local search methods for partial MaxSAT ⋮ Boosting evolutionary algorithm configuration ⋮ Multi-language evaluation of exact solvers in graphical model discrete optimization ⋮ WPM3: an (in)complete algorithm for weighted partial MaxSAT ⋮ Consensus-finding that preserves mutually conflicting hypothetical information from a same agent ⋮ On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem ⋮ The algorithm selection competitions 2015 and 2017 ⋮ ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver ⋮ PyDGGA: distributed GGA for automatic configuration
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- SAT-based MaxSAT algorithms
- Iterative and core-guided maxsat solving: a survey and assessment
- Exact Max-SAT solvers for over-constrained problems
- SATenstein: automatically building local search SAT solvers from components
- Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
- On Inconsistent Clause-Subsets for Max-SAT Solving
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Algorithms for Weighted Boolean Optimization
- ParamILS: An Automatic Algorithm Configuration Framework
- Theory and Applications of Satisfiability Testing
- On Solving the Partial MAX-SAT Problem
- Finding Optimal Algorithmic Parameters Using Derivative‐Free Optimization
- Using experimental design to find effective parameter settings for heuristics
This page was built for publication: MaxSAT by improved instance-specific algorithm configuration
