ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596)
From MaRDI portal
scientific article; zbMATH DE number 7441849
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver |
scientific article; zbMATH DE number 7441849 |
Statements
ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (English)
0 references
9 December 2021
0 references
Max-SAT
0 references
branch and bound
0 references
max-resolution
0 references
0 references
0 references
0 references
