Abstract
This paper presents a heuristic survey propagation algorithm for solving Quantified Boolean Formulae(QBF)problem.A QBF solver based on the algorithm is designed,namely HSPQBF(heuristic survey propagation algorithm for solving QBF).This solver is a QBF reasoning engine that incorporates Survey Propagation method for problem solving.Using the information obtained from the survey propagation procedure,HSPQBF can select a branch accurately.Furthermore,when handling the branches,HSPQBF uses efficient technology to solve QBF problems,such as unit propagation,conflict driven learning,and satisfiability directed at implication and learning. The experimental results also show that HSPQBF can solve both random and QBF benchmark problems efficiently, which validates the effect of using survey propagation in a QBF solving process.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
