Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution

Duong, Thach-Thao ORCID: https://orcid.org/0000-0003-2294-3619 and Pham, Duc-Nghia and Sattar, Abdul (2013) Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. In: 26th Australasian Joint Conference on Artificial Intelligence (AI 2013), 1 Dec - 6 Dec 2013, Dunedin, New Zealand.


A key challenge in developing efficient local search solvers is to intelligently balance diversification and intensification. This study proposes a heuristic that integrates a new dynamic scoring function and two different diversification criteria: variable weights and stagnation weights. Our new dynamic scoring function is formulated to enhance the diversification capability in intensification phases using a user-defined diversification parameter. The formulation of the new scoring function is based on a probability distribution to adjust the selecting priorities of the selection between greediness on scores and diversification on variable properties. The probability distribution of variables on greediness is constructed to guarantee the synchronization between the probability distribution functions and score values. Additionally, the new dynamic scoring function is integrated with the two diversification criteria. The experiments show that the new heuristic is efficient on verification benchmark, crafted and random instances.

Statistics for USQ ePrint 46976
Statistics for this ePrint Item
Item Type: Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)
Refereed: Yes
Item Status: Live Archive
Faculty/School / Institute/Centre: No Faculty
Faculty/School / Institute/Centre: No Faculty
Date Deposited: 30 Mar 2022 04:21
Last Modified: 30 Mar 2022 04:21
Uncontrolled Keywords: Artificial intelligence; Distribution functions
Fields of Research (2020): 46 INFORMATION AND COMPUTING SCIENCES > 4602 Artificial intelligence > 460210 Satisfiability and optimisation
Identification Number or DOI: https://doi.org/10.1007/978-3-319-03680-9_18
URI: http://eprints.usq.edu.au/id/eprint/46976

Actions (login required)

View Item Archive Repository Staff Only