Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem
scientific article; zbMATH DE number 6153641