Publisher
Springer Science and Business Media LLC
Reference34 articles.
1. Alsinet T., Manyà F., Planes J.: An efficient solver for weighted Max-SAT. J. Glob. Optim. 41(1), 61–73 (2008)
2. Anbulagan, P., Pham, D.N., Slaney, J.K., Sattar, A.: Old resolution meets modern SLS. In: AAAI, pp. 354–359 (2005)
3. Argelich J., Li C., Manyà F., Planes J.: The first and second Max-SAT evaluations. J. Satisf. Boolean Model. Comput. 4(2–4), 251–278 (2008)
4. Bansal, V., Bafna, V.: Hapcut: an efficient and accurate algorithm for the haplotype assembly problem. In: ECCB, pp. 153–159 (2008)
5. Bonet M.L., Levy J., Manyà F.: Resolution for Max-SAT. Artif. Intell. 171(8–9), 606–618 (2007)