Multi-strategy Local Search for SAT Problem.

D. Liang, Wei Li

Browse the full ECAI paper archive.