Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT
Loading...
Date
2003
Other authors
Impact
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2003, vol. 2833, p. 991