CARLOS
MENCIA CASCALLANA
Profesor Titular de Universidad
Swansea University
Swansea, Reino UnidoPublikationen in Zusammenarbeit mit Forschern von Swansea University (1)
2019
-
On Computing the Union of MUSes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)