TY  - JOUR
AU  - Mills, P.
AU  - Tsang, E.
PY  - 2000//
TI  - Guided local search for solving SAT and weighted MAX-SAT problems
SP  - 89
EP  - 106
PB  - IOS Press, Amsterdam
ID  - Mills2000
ER  -