A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search. - Haifa Hamad AlKasem; Mohamed El Bachir Menai (IEEE Access, 2021)

Stochastic local search for Partial Max-SAT: an experimental evaluation. - Haifa Hamad AlKasem; Mohamed El Bachir Menai (Artif. Intell. Rev., 2021)