Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental Evaluation
scientific article; zbMATH DE number 1845379