Merging the local and global approaches to probabilistic satisfiability (Q2270380)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Merging the local and global approaches to probabilistic satisfiability |
scientific article |
Statements
Merging the local and global approaches to probabilistic satisfiability (English)
0 references
18 March 2010
0 references
probabilistic satisfiability
0 references
probabilistic entailment
0 references
rule-based approach
0 references
linear programming
0 references
column generation
0 references
stabilization
0 references
0 references
