Research on the Solution Space of 2-SAT and Max-2-SAT

Research on the Solution Space of 2-SAT and Max-2-SAT

We study the properties of 2-SAT and Max-2-SAT problems by analyzing the node adding process on the factor graph. Two important structures, backbones and mutual-determinations are investigated, and the reduced solution graph for the expression of solution space of 2-SAT and Max-2-SAT is defined. For...

Full description

Bibliographic Details
Main Authors: Li Bai-Feng, Wei Wei, Liu Chao-Qun
Format: Article
Language:English
Published: EDP Sciences 2016-01-01
Series:ITM Web of Conferences
Online Access:http://dx.doi.org/10.1051/itmconf/20160701016

Similar Items

Similar Items