470 search results - page 4 / 94 » Tabu Search for SAT |
SAT
2009
Springer
14 years 2 months ago
2009
Springer
SAT
2004
Springer
14 years 25 days ago
2004
Springer
SAT
2010
Springer
13 years 11 months ago
2010
Springer
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
The integration of genetic algorithms (GAs) and tabu search is one of traditional problems in function optimization in the GA literature. However, most proposed methods have utili...
ANOR
2002
13 years 7 months ago
2002
We present a Tabu Search (TS) method that employs a simple version of ejection chains for coloring graphs. The procedure is tested on a set of benchmark problems. Empirical result...