@Misc{Brambilla19,
   author       = {Jedian Marcos Brambilla},
   title        = {Classes limítrofes para os problemas de
                     Satisfazibilidade},
   howpublished = {Trabalho de Conclusão de Curso do Bacharelado em
                     Ciência da Computação da UFPR},
   month        = {dec},
   year         = {2019},
   type =         {Trabalho de Conclusão de Curso},
   note         = {Orientador: Renato Carmo}
}

{"_id":"cgzCrjGxBExLgGtHw","bibbaseid":"brambilla-classeslimtrofesparaosproblemasdesatisfazibilidade-2019","author_short":["Brambilla, J. M."],"bibdata":{"bibtype":"misc","type":"Trabalho de Conclusão de Curso","author":[{"firstnames":["Jedian","Marcos"],"propositions":[],"lastnames":["Brambilla"],"suffixes":[]}],"title":"Classes limítrofes para os problemas de Satisfazibilidade","howpublished":"Trabalho de Conclusão de Curso do Bacharelado em Ciência da Computação da UFPR","month":"dec","year":"2019","note":"Orientador: Renato Carmo","bibtex":"@Misc{Brambilla19,\n author = {Jedian Marcos Brambilla},\n title = {Classes limítrofes para os problemas de\n Satisfazibilidade},\n howpublished = {Trabalho de Conclusão de Curso do Bacharelado em\n Ciência da Computação da UFPR},\n month = {dec},\n year = {2019},\n type = {Trabalho de Conclusão de Curso},\n note = {Orientador: Renato Carmo}\n}\n\n","author_short":["Brambilla, J. M."],"key":"Brambilla19","id":"Brambilla19","bibbaseid":"brambilla-classeslimtrofesparaosproblemasdesatisfazibilidade-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://www.inf.ufpr.br/teoria/universal2016/orientacoes.bib","dataSources":["Raee3ruyuhmzCg93Q"],"keywords":[],"search_terms":["classes","lim","trofes","para","problemas","satisfazibilidade","brambilla"],"title":"Classes limítrofes para os problemas de Satisfazibilidade","year":2019}