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]
@phdthesis{ndltd-4819, title = {SAT based environment for logical capacity evaluation of via configurable block templates}, author = {VinÃcius Dal Bem}, year = {2016}, url = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_UFRGS:oai:www.lume.ufrgs.br:10183/142737}, note = {ndltd.org (oai:agregador.ibict.br.BDTD_UFRGS:oai:www.lume.ufrgs.br:10183/142737)}, researchr = {https://researchr.org/publication/ndltd-4819}, cites = {0}, citedby = {0}, school = {Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil}, }