Backbone Guided Local Search for Maximum Satisfiability.

Weixiong Zhang, Ananda Rangan, Moshe Looks

Browse the full IJCAI paper archive.