Resultados de la búsqueda

  • On Computing the Union of MUSes [2019]

    Categoría:
    Ponencias
    Autores:
    Carlos Mencía Cascallana , O. Kullmann , A. Ignatiev , J. Marqués Silva
    Fecha:
    01 de Enero de 2019
    Es parte de:
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)