Guided local search for solving SAT and weighted MAX-SAT problems
scientific article; zbMATH DE number 1449099