Cargando…

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

In many areas of computer science, we are given an unsatisfiable set of constraints with the goal to provide an insight into the unsatisfiability. One of common approaches is to identify minimal unsatisfiable subsets (MUSes) of the constraint set. The more MUSes are identified, the better insight is...

Descripción completa

Detalles Bibliográficos
Autores principales: Bendík, Jaroslav, Černá, Ivana
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7439739/
http://dx.doi.org/10.1007/978-3-030-45190-5_8