Miquel Bofill, Dídac Busquets, Mateu Villaret. A declarative approach to robust weighted Max-SAT. In Temur Kutsia, Wolfgang Schreiner, Maribel Fernández, editors, Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. pages 67-76, ACM, 2010. [doi]
Abstract is missing.