16 search results - page 4 / 4 » New Bounds for MAX-SAT by Clause Learning |
CPAIOR
2006
Springer
14 years 8 days ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...