Approximate Solution of Weighted MAX-SAT Problems Using GRASP

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
doi 10.1090/dimacs/035/11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society