solving max sat by decoupling optimization and satisfaction

Name: solving max sat by decoupling optimization and satisfaction
Uploaded: Jun 21, 2016
Description: solving max sat by decoupling optimization and satisfaction