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

