Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/ndltd/Ribas15
%A Ribas, Bruno Cesar
%D 2015
%K dblp
%T Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista.
@phdthesis{phd/ndltd/Ribas15,
added-at = {2017-08-26T00:00:00.000+0200},
author = {Ribas, Bruno Cesar},
biburl = {https://www.bibsonomy.org/bibtex/202fe562c30a54ec249b7fc22926b7158/dblp},
ee = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.RI_UFPR:oai:dspace.c3sl.ufpr.br:1884/41122},
interhash = {97d5e2fdd2a19558e1ea12586d0882b1},
intrahash = {02fe562c30a54ec249b7fc22926b7158},
keywords = {dblp},
note = {ndltd.org (oai:agregador.ibict.br.RI_UFPR:oai:dspace.c3sl.ufpr.br:1884/41122)},
school = {Federal University of Paraná, Curitiba, Brazil},
timestamp = {2017-08-29T11:47:55.000+0200},
title = {Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista.},
year = 2015
}