The incremental satisfiability problem for a two conjunctive normal form (Q1744433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The incremental satisfiability problem for a two conjunctive normal form |
scientific article |
Statements
The incremental satisfiability problem for a two conjunctive normal form (English)
0 references
23 April 2018
0 references
satisfiability problem
0 references
incremental satisfiability problem
0 references
2-SAT
0 references
entail propositional problem
0 references
efficient satisfiability instances
0 references
