Probabilistic satisfiability (Q1104751)
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: Probabilistic satisfiability |
scientific article; zbMATH DE number 4057008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic satisfiability |
scientific article; zbMATH DE number 4057008 |
Statements
Probabilistic satisfiability (English)
0 references
1988
0 references
probabilistic satisfiability
0 references
probabilistic logic
0 references
satisfiability problem
0 references
NP-hard
0 references
NP-complete
0 references
linear programming
0 references
polynomial-time algorithms
0 references
0 references
0 references
0.97014683
0 references
0.96078247
0 references
0.95912784
0 references
0 references
0.9402276
0 references
0.9326314
0 references