The top documents tagged [vlsioptimizationbounded]
SAT-based Bounded Model Checking
61 views