Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores (Q5015593)
From MaRDI portal
scientific article; zbMATH DE number 7441845
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores |
scientific article; zbMATH DE number 7441845 |
Statements
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores (English)
0 references
9 December 2021
0 references
minimal unsat core
0 references
minimal high-level unsat core
0 references
resolution
0 references
