Solving WCSP by Extraction of Minimal Unsatisfiable Cores - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary. Solving WCSP by Extraction of Minimal Unsatisfiable Cores. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 915-922, IEEE, 2013. [doi]

This author has not been identified. Look up 'Christophe Lecoutre' in GoogleThis author has not been identified. Look up 'Nicolas Paris' in GoogleThis author has not been identified. Look up 'Olivier Roussel' in GoogleThis author has not been identified. Look up 'Sébastien Tabary' in Google

runs on WebDSL