470 search results - page 42 / 94 » Tabu Search for SAT |
COCOON
1998
Springer
13 years 12 months ago
1998
Springer
CORR
2008
Springer
13 years 7 months ago
2008
Springer
TIT
2008
13 years 7 months ago
2008
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
JAMDS
2002
13 years 7 months ago
2002
We propose a new heuristic for the solution of the quadratic assignment problem. The heuristic combines ideas from tabu search and genetic algorithms. Run times are very short comp...