A satisfiability procedure for quantified Boolean formulae

Thumbnail
Metadata only
Author
Plaisted, David A.
Biere, Armin
Zhu, Yunshan
Date
2003-08-15
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Discrete applied mathematics
Volume
130(2)
Pages / Article No.
291 - 328
Publisher
Elsevier
Subject
QBF; Satisfiability; Davis and Putnam procedure; BDDs; Cut width; Circuit verification; Model checking
Notes
Received 20 July 2000, Revised 7 March 2001, Accepted 3 March 2002, Published online 12 April 2003.
More
Show all metadata
ETH Bibliography
yes
Altmetrics