@INPROCEEDINGS{clone07, AUTHOR = "Pipatsrisawat, Knot and Darwiche, Adnan", TITLE = "Clone: Solving Weighted Max-SAT in a Reduced Search Space", BOOKTITLE = "Proceedings of 20th Australian Joint Conference on Artificial Intelligence (AI07)", YEAR = 2007, PAGES = "223--233" }