Exact satisfiability, a natural extension of set partition, and its average case behavior (Q1353993)
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: Exact satisfiability, a natural extension of set partition, and its average case behavior |
scientific article; zbMATH DE number 1005826
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Exact satisfiability, a natural extension of set partition, and its average case behavior |
scientific article; zbMATH DE number 1005826 |
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
0.8303875923156738
0 references
0.804506242275238
0 references
0.7926544547080994
0 references
