\textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver (Q5015596)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7441849
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \textsc{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
0.8507315516471863
0 references
0.8304722309112549
0 references
0.825878381729126
0 references
0.8174710273742676
0 references
0.8039327263832092
0 references
