Sensitivity analysis for Horn formulae (Q1200328)
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: Sensitivity analysis for Horn formulae |
scientific article; zbMATH DE number 95111
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sensitivity analysis for Horn formulae |
scientific article; zbMATH DE number 95111 |
Statements
Sensitivity analysis for Horn formulae (English)
0 references
16 January 1993
0 references
Horn satisfiability
0 references
flows in hypergraphs
0 references
0.8372674
0 references
0.83573645
0 references
0.82924235
0 references
0.8274926
0 references
0.82584524
0 references
