𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite satisfiability for guarded fixpoint logic

✍ Scribed by Vince Bárány; Mikołaj Bojańczyk

Book ID
113663335
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
153 KB
Volume
112
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Backjumping for Quantified Boolean Logic
Backjumping for Quantified Boolean Logic satisfiability
✍ Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 221 KB

The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Many decision procedures have been proposed in the last few years, most of them based on the Davis, Logemann, Loveland proc