A satisfiability procedure for quantified Boolean formulae - Research Collection

Metadata only

Author

Plaisted, David A.

Biere, Armin

Zhu, Yunshan

Date

2003-08-15

Type

Journal Article

Citations

Cited 15 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/S0166-218X(02)00409-2

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

Citations

Cited 15 times in Web of Science

ETH Bibliography

yes

Altmetrics