On computing the union of MUSes
From MaRDI portal
Publication:2181933
DOI10.1007/978-3-030-24258-9_15zbMath1441.68230OpenAlexW2954836904MaRDI QIDQ2181933
Alexey Ignatiev, Carlos Mencía, Oliver Kullmann, João P. Marques-Silva
Publication date: 20 May 2020
Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa50334
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)
Related Items
Counting minimal unsatisfiable subsets ⋮ Accelerating predicate abstraction by minimum unsatisfiable cores extraction ⋮ Semantic relevance
