470 search results - page 3 / 94 » Tabu Search for SAT |
COR
2006
13 years 7 months ago
2006
-- The purpose of this paper is to describe the implementation and testing of the tabu cycle method and two variants of the conditional probability method. These methods were origi...
ANOR
2010
13 years 7 months ago
2010
Two metaheuristic methods based on Tabu search are introduced to assign judges to individual competitions in a tournament. The complexity of the mathematical formulation accounting...
EVOW
2008
Springer
13 years 9 months ago
2008
Springer
This paper introduces a hybrid Tabu Search - Evolutionary Algorithm for solving the binary constraint satisfaction problem, called CTLEA. A continuation of an earlier introduced al...
SAT
2005
Springer
14 years 29 days ago
2005
Springer
SAT
2010
Springer
13 years 11 months ago
2010
Springer
