An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem

From MaRDI portal