A declarative approach to robust weighted Max-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Miquel Bofill' in GoogleThis author has not been identified. Look up 'Dídac Busquets' in GoogleThis author has not been identified. Look up 'Mateu Villaret' in Google

runs on WebDSL