6533b81ffe1ef96bd1277311

RESEARCH PRODUCT

Using Learning Automata to Enhance Local-Search Based SAT Solvers with Learning Capability

subject

description

In this work, we have introduced a new approach based on combining Learning Automata with Random Walk and GSAT w/Random Walk. In order to get a comprehensive overview of the new algorithms' performance, we used a set of benchmark problems containing different problems from various domains. In these benchmark problems, both RW and GSATRW suffers from stagnation behaviour which directly affects their performance. This phenomenon is, however, only observed for LA-GSATRW on the largest problem instances. Finally, the