Exact satisfiability, a natural extension of set partition, and its average case behavior (Q1353993)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exact satisfiability, a natural extension of set partition, and its average case behavior |
scientific article |
Statements
Exact satisfiability, a natural extension of set partition, and its average case behavior (English)
0 references
13 May 1997
0 references
Boolean formula
0 references
conjunctive normal form
0 references
exact satisfiability problem
0 references
set partitioning
0 references
average time complexity
0 references
backtracking strategy
0 references
probability models
0 references
constant density model
0 references
constant degree model
0 references
low degree polynomial time
0 references
