Search Results

  • On Computing the Union of MUSes [2019]

    Category:
    Ponencias
    Authors:
    Carlos Mencía Cascallana , O. Kullmann , A. Ignatiev , J. Marqués Silva
    Date:
    01 of January of 2019
    It Is a Part of:
    Theory and Applications of Satisfiability Testing – SAT 2019. 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings