Autark assignments of Horn CNFs (Q1742887)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Autark assignments of Horn CNFs |
scientific article |
Statements
Autark assignments of Horn CNFs (English)
0 references
12 April 2018
0 references
Boolean satisfiability problem
0 references
autark assignment
0 references
Horn CNF
0 references
combinatorial algorithm
0 references
