Tunable online MUS/MSS enumeration (Q4636600)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Tunable online MUS/MSS enumeration |
scientific article; zbMATH DE number 6862078
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tunable online MUS/MSS enumeration |
scientific article; zbMATH DE number 6862078 |
Statements
19 April 2018
0 references
minimal unsatisfiable subsets
0 references
maximal satisfiable subsets
0 references
unsatisfiability analysis
0 references
infeasibility analysis
0 references
0.8879772424697876
0 references
0.8734663724899292
0 references
0.8693010210990906
0 references
0.821799099445343
0 references
0.8209423422813416
0 references
