Knot Pipatsrisawat Akop Palyan Mark Chavira Arthur Choi Adnan Darwiche Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. 191-217 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_10_Pipatsrisawat.pdf db/journals/jsat/jsat4.html#PipatsrisawatPCCD08