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...
| Main Authors: | , , |
|---|---|
| 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 |