SATenstein
From MaRDI portal
Software:26138
No author found.
Related Items (16)
MaxSAT by improved instance-specific algorithm configuration ⋮ SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers ⋮ DASH: dynamic approach for switching heuristics ⋮ On the impact of the performance metric on efficient algorithm configuration ⋮ Capping methods for the automatic configuration of optimization algorithms ⋮ Automatic construction of optimal static sequential portfolios for AI planning and beyond ⋮ Revisiting simulated annealing: a component-based analysis ⋮ Automatic design of hybrid stochastic local search algorithms for permutation flowshop problems ⋮ Captain Jack: New Variable Selection Heuristics in Local Search for SAT ⋮ The configurable SAT solver challenge (CSSC) ⋮ Automatic construction of parallel portfolios via algorithm configuration ⋮ Automatically improving the anytime behaviour of optimisation algorithms ⋮ Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT ⋮ Automatic algorithm design for hybrid flowshop scheduling problems ⋮ A unified ant colony optimization algorithm for continuous optimization ⋮ ParamILS: An Automatic Algorithm Configuration Framework
This page was built for software: SATenstein
