@article{pipatsrisawat08solving,
author="Knot Pipatsrisawat and Akop Palyan and Mark Chavira and Arthur Choi and Adnan Darwiche",
title="Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis",
journal="Journal on Satisfiability Boolean Modeling and Computation (JSAT)",
year=2008,
volume=4,
pages="191--217"
}