𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Satisfiability-Based Algorithms for Boolean Optimization

✍ Scribed by Vasco M. Manquinho; João P. Marques-Silva

Book ID
111570626
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
136 KB
Volume
40
Category
Article
ISSN
1012-2443

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