Backbone Guided Local Search for the Weighted Maximum Satisfiability Problem [chapter]

He Jiang, Jifeng Xu
2009 Evolutionary Computation  
doi:10.5772/9610 fatcat:jkx7xzn6jbeqpcbvlpjbplsgze