Research on the Solution Space of 2-SAT and Max-2-SATBai-Feng Li, Wei Wei and Chao-Qun LiuITM Web Conf., 7 (2016) 01016DOI: https://doi.org/10.1051/itmconf/20160701016
