A New Algorithm for Parameterized MAX-SAT (Q4899239)
From MaRDI portal
scientific article; zbMATH DE number 6122694
Language | Label | Description | Also known as |
---|---|---|---|
English | A New Algorithm for Parameterized MAX-SAT |
scientific article; zbMATH DE number 6122694 |
Statements
A New Algorithm for Parameterized MAX-SAT (English)
0 references
7 January 2013
0 references
exact algorithms
0 references
maximum satisfiability
0 references
parameterized algorithms
0 references
satisfiability
0 references