470 search results - page 42 / 94 » Tabu Search for SAT |
83
Voted
COCOON
1998
Springer
15 years 5 months ago
1998
Springer
CORR
2008
Springer
15 years 24 days ago
2008
Springer
130
Voted
TIT
2008
15 years 18 days 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 ...
101
Voted
AMAI
2004
Springer
15 years 6 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...
128
click to vote
JAMDS
2002
15 years 11 days 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...