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]

Authors

Vinícius Dal Bem

This author has not been identified. Look up 'Vinícius Dal Bem' in Google