SAT based environment for logical capacity evaluation of via configurable block templates

Vinícius Dal Bem. SAT based environment for logical capacity evaluation of via configurable block templates. PhD thesis, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 2016. [doi]

Abstract

Abstract is missing.