The following pages link to (Q4386921):
Displayed 9 items.
- A multilevel tabu search algorithm for the feature selection problem in biomedical data (Q929176) (← links)
- Modelling the dynamics of stochastic local search on \(k\)-SAT (Q930153) (← links)
- A fast parallel SAT-solver -- efficient workload balancing (Q1380435) (← links)
- An algorithm based on tabu search for satisfiability problem (Q1613279) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- A machine learning approach to algorithm selection for \(\mathcal{NP}\)-hard optimization problems: a case study on the MPE problem (Q2468764) (← links)
- (Q2741522) (← links)
- A Theoretical Analysis of Search in GSAT (Q3637172) (← links)
- Local search characteristics of incomplete SAT procedures (Q5958635) (← links)