Ponencias
-
On Computing the Union of MUSes [2019]
- Categoría:
- Ponencias
- Autores:
- J. Marqués Silva , A. Ignatiev , O. Kullmann , Carlos Mencía Cascallana
- Fecha:
- 01 de Enero de 2019
- Es parte de:
- Theory and Applications of Satisfiability Testing – SAT 2019. 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings