Metadata only
Datum
2003-08-15Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Discrete Applied MathematicsBand
Seiten / Artikelnummer
Verlag
ElsevierThema
QBF; Satisfiability; Davis and Putnam procedure; BDDs; Cut width; Circuit verification; Model checkingAnmerkungen
Received 20 July 2000, Revised 7 March 2001, Accepted 3 March 2002, Published online 12 April 2003.ETH Bibliographie
yes
Altmetrics