Sciweavers

IJCAI
2003
14 years 24 days ago
Backbone Guided Local Search for Maximum Satisfiability
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...
Weixiong Zhang, Ananda Rangan, Moshe Looks