A satisfiability procedure for quantified Boolean formulae
Metadata only
Date
2003-08-15Type
- Journal Article
Publication status
publishedJournal / series
Discrete applied mathematicsVolume
Pages
Publisher
ElsevierSubject
QBF; Satisfiability; Davis and Putnam procedure; BDDs; Cut width; Circuit verification; Model checkingNotes
Received 20 July 2000, Revised 7 March 2001, Accepted 3 March 2002, Published online 12 April 2003.More
Show all metadata