On Computing the Union of MUSes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva. On Computing the Union of MUSes. In Mikolás Janota, Inês Lynce, editors, Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. Volume 11628 of Lecture Notes in Computer Science, pages 211-221, Springer, 2019. [doi]

This author has not been identified. Look up 'Carlos Mencía' in GoogleThis author has not been identified. Look up 'Oliver Kullmann' in GoogleThis author has not been identified. Look up 'Alexey Ignatiev' in GoogleThis author has not been identified. Look up 'João Marques-Silva' in Google

runs on WebDSL