SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASIC | IEEE Journals & Magazine | IEEE Xplore