Boolean Functions as Models for Quantified Boolean Formulas

Established

19
Citations
14
Refs
2007
Year
Search Works
Work Details
  • DOI 10.1007/s10817-007-9067-0
  • OpenAlex ID W2044916592
  • Type Article
  • Language EN
  • Published 14 Apr 2007
  • Volume 39 (1)
  • Pages 49–75
  • Source Journal of Automated Reasoning
  • Publisher Springer Science+Business Media
  • FWCI 1.18
  • Countries 3
  • Institutions 3
  • Added 10 Oct 2025
  • Updated 21 Aug 2026
External Links
OpenAlex Record DOI Resolver
MENU
0

Boolean Functions as Models for Quantified Boolean Formulas

Article 2007 EN

19

Citations

14

References

3

Authors

1.18

FWCI

Citations by Year
Last 8 years
Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Hans Kleine Büning Corresponding Paderborn University (DE) —
2 K. Subramani West Virginia University (US)
3 Xishun Zhao Sun Yat-sen University (CN) —
Related Works
10

Data: OpenAlex