Guided local search for solving SAT and weighted MAX-SAT problems (2000)

Cached

Download Links

by Patrick Mills , Edward Tsang
Venue:Journal of Automated Reasoning
Citations:33 - 7 self