Ładuje się......
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...
Zapisane w:
| Wydane w: | Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Główni autorzy: | , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
2020
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7439739/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45190-5_8 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|