Trap Avoidance in Local Search Using Pseudo-Conflict Learning

Authors

  • Duc Pham Queensland Research Laboratory, NICTA & Griffith University
  • Thach-Thao Duong Queensland Research Laboratory, NICTA & Griffith University
  • Abdul Sattar Griffith University & Queensland Research Laboratory, NICTA

DOI:

https://doi.org/10.1609/aaai.v26i1.8149

Keywords:

satisfiabilty, stochastic local search, learning

Abstract

A key challenge in developing efficient local search solvers is to effectively minimise search stagnation (i.e. avoiding traps or local minima). A majority of the state-of-the-art local search solvers perform random and/or Novelty-based walks to overcome search stagnation. Although such strategies are effective in diversifying a search from its current local minimum, they do not actively prevent the search from visiting previously encountered local minima. In this paper, we propose a new preventative strategy to effectively minimise search stagnation using pseudo-conflict learning. We define a pseudo-conflict as a derived path from the search trajectory that leads to a local minimum. We then introduce a new variable selection scheme that penalises variables causing those pseudo-conflicts. Our experimental results show that the new preventative approach significantly improves the performance of local search solvers on a wide range of structured and random benchmarks.

Downloads

Published

2021-09-20

How to Cite

Pham, D., Duong, T.-T., & Sattar, A. (2021). Trap Avoidance in Local Search Using Pseudo-Conflict Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 542-548. https://doi.org/10.1609/aaai.v26i1.8149

Issue

Section

Constraints, Satisfiability, and Search