Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem (Q4914454)
From MaRDI portal
scientific article; zbMATH DE number 6153641
Language | Label | Description | Also known as |
---|---|---|---|
English | Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem |
scientific article; zbMATH DE number 6153641 |
Statements
Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem (English)
0 references
12 April 2013
0 references