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]
@article{PipatsrisawatPCCD08,
title = {Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis},
author = {Knot Pipatsrisawat and Akop Palyan and Mark Chavira and Arthur Choi and Adnan Darwiche},
year = {2008},
url = {http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_10_Pipatsrisawat.pdf},
tags = {analysis, search},
researchr = {https://researchr.org/publication/PipatsrisawatPCCD08},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {4},
number = {2-4},
pages = {191-217},
}