We introduce a new branch-and-bound Max-SAT solver, Clone, which employs a novel approach for computing lower bounds. This approach allows Clone to search in a reduced space. Moreover, Clone is equipped with novel techniques for learning from soft conflicts. Experimental results show that Clone performs competitively with the leading Max-SAT solver in the broadest category of this year's Max-SAT evaluation and outperforms last year's leading solvers. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Pipatsrisawat, K., & Darwiche, A. (2007). Clone: Solving weighted max-SAT in a reduced search space. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4830 LNAI, pp. 223–233). Springer Verlag. https://doi.org/10.1007/978-3-540-76928-6_24
Mendeley helps you to discover research relevant for your work.