𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logics for Classes of Boolean Monoids

✍ Scribed by Gerard Allwein; Hilmi Demir; Lee Pike

Book ID
111589697
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
178 KB
Volume
13
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Conjugacy classes of Renner monoids
Conjugacy classes of Renner monoids
✍ Zhuo Li; Zhenheng Li; YouΚΌan Cao πŸ“‚ Article πŸ“… 2013 πŸ› Elsevier Science 🌐 English βš– 221 KB
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