scientific article; zbMATH DE number 1149403

zbMath0900.68178MaRDI QIDQ4386921

Toby Walsh, Ian Philip Gent

Publication date: 10 May 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Searching and sorting (68P10) Parallel algorithms in computer science (68W10)

Related Items

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