SATenstein
From MaRDI portal
Cited in
(35)- Paramils
- emili
- CAPOPT
- ACVIZ
- HHBQP
- ParaDisEO
- UBCSAT
- SAT competition
- Revisiting simulated annealing: a component-based analysis
- SATzilla
- SPOT
- race
- irace
- Automatically improving the anytime behaviour of optimisation algorithms
- Automatic algorithm design for hybrid flowshop scheduling problems
- ACOTSP
- pfolioUZK
- A unified ant colony optimization algorithm for continuous optimization
- On the impact of the performance metric on efficient algorithm configuration
- Capping methods for the automatic configuration of optimization algorithms
- MaxSAT by improved instance-specific algorithm configuration
- TSpack
- SpySMAC
- Captain Jack: new variable selection heuristics in local search for SAT
- DASH: dynamic approach for switching heuristics
- FrogCOL
- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
- Paramils: an automatic algorithm configuration framework
- SMAC
- aspeed
- Dynamic scoring functions with variable expressions: new SLS methods for solving SAT
- The configurable SAT solver challenge (CSSC)
- Automatic construction of parallel portfolios via algorithm configuration
- Automatic design of hybrid stochastic local search algorithms for permutation flowshop problems
- Automatic construction of optimal static sequential portfolios for AI planning and beyond
This page was built for software: SATenstein
