Q-PREZ: QBF evaluation using partition, resolution and elimination with ZBDDs

18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design ◽

10.1109/icvd.2005.144 ◽

2005 ◽

Cited By ~ 2

Author(s):

K. Chandrasekar ◽

M.S. Hsiao

Download Full-text