A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems
Brian Borchers, Judith FurmanVolume:
2
Year:
1998
Language:
english
Pages:
8
Journal:
Journal of Combinatorial Optimization
DOI:
10.1023/a:1009725216438
File:
PDF, 31 KB
english, 1998