Message passing algorithm for solving QBF using more reasoning

DOI10.1155/2013/165927zbMath1296.68165OpenAlexW2028969099WikidataQ59023184 ScholiaQ59023184MaRDI QIDQ460215

Zhou Junping, Wang Jianan, Yin Minghao, Su Weihua

Publication date: 13 October 2014

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/165927

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• QuBE++
• QUBE

Cites Work

• Unnamed Item
• Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae
• Theory and Applications of Satisfiability Testing
• Principles and Practice of Constraint Programming – CP 2003
• Automated Deduction – CADE-19

This page was built for publication: Message passing algorithm for solving QBF using more reasoning