470 search results - page 3 / 94 » Tabu Search for SAT |
COR
2006
15 years 19 days 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
15 years 22 days 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...
115
click to vote
EVOW
2008
Springer
15 years 2 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
15 years 6 months ago
2005
Springer
89
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
