Q-PREZ: QBF evaluation using partition, resolution and elimination with ZBDDs | IEEE Conference Publication | IEEE Xplore