Research on the Solution Space of 2-SAT and Max-2-SAT Bai-Feng Li, Wei Wei and Chao-Qun Liu ITM Web Conf., 7 (2016) 01016 Published online: 21 November 2016 DOI: 10.1051/itmconf/20160701016