Login / Signup
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs.
Kameshwar Chandrasekar
Michael S. Hsiao
Published in:
VLSI Design (2005)
Keyphrases
</>
evaluation criteria
high resolution
evaluation method
evaluation metrics
evaluation methods