Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche. Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. JSAT, 4(2-4):191-217, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.