Publication:4386921
From MaRDI portal
zbMath0900.68178MaRDI QIDQ4386921
Publication date: 10 May 1998
Related Items
Local search characteristics of incomplete SAT procedures, A multilevel tabu search algorithm for the feature selection problem in biomedical data, Modelling the dynamics of stochastic local search on \(k\)-SAT, A fast parallel SAT-solver -- efficient workload balancing, An algorithm based on tabu search for satisfiability problem, On SAT instance classes and a method for reliable performance experiments with SAT solvers, A machine learning approach to algorithm selection for \(\mathcal{NP}\)-hard optimization problems: a case study on the MPE problem, Unnamed Item, A Theoretical Analysis of Search in GSAT