As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Configuration Checking (CC) was proposed as a new diversification strategy for Stochastic Local Search (SLS) algorithm for solving Minimum Vertex Cover, and has been successfully used for solving the Boolean Satisfiability problems, leading to an SLS algorithm called Swcc. However, the CC strategy for SAT is in the early stage of study, and Swcc cannot compete with the best SLS solvers for SAT in SAT Competition 2011. This paper presents a new strategy called Quantitative Configuration Checking (QCC), which is a quantitative version of the CC strategy for SAT. QCC is based on a new definition of “configuration” and works in a different way from the CC strategy does. Specifically, while previous CC strategies work only in the greedy mode, QCC firstly works in the random mode. We use QCC to improve the Swcc algorithm, resulting in a new SLS algorithm for SAT called Swqcc. Experimental results show that the QCC strategy is more effective than the CC strategy. Furthermore, Swqcc outperforms the best local search SAT solver in SAT Competition 2011 called Sparrow2011 on random 3-SAT instances.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.