A primal-dual approximation algorithm for \textsc{minsat} (Q2161258)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A primal-dual approximation algorithm for \textsc{minsat} |
scientific article |
Statements
A primal-dual approximation algorithm for \textsc{minsat} (English)
0 references
4 August 2022
0 references
primal-dual schema
0 references
minimum satisfiability
0 references
0 references
0 references
