@InProceedings{CavassinRochaCarmo21,
   author       = {Pietro Cavassin and Aleffer Rocha and Renato Carmo},
   title        = {Cálculo de raízes quadradas de grafos utilizando um
                     resolvedor pseudo-booleano},
   booktitle    = {Anais do IV Workshop de Pesquisa em Computação dos
                     Campos Gerais},
   issn         = {2526-1371},
   volume       = {4},
   year         = {2021},
   pages        = {25},
   address      = {Ponta Grossa, Paraná},
   doi          = {10.5281/zenodo.6090322},
   url_pdf      = {http://www.wpccg.pro.br/wpccg2021/papers/paper_40}
}

{"_id":"W42jm4Lo4mGq5YHqB","bibbaseid":"cavassin-rocha-carmo-clculoderazesquadradasdegrafosutilizandoumresolvedorpseudobooleano-2021","author_short":["Cavassin, P.","Rocha, A.","Carmo, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pietro"],"propositions":[],"lastnames":["Cavassin"],"suffixes":[]},{"firstnames":["Aleffer"],"propositions":[],"lastnames":["Rocha"],"suffixes":[]},{"firstnames":["Renato"],"propositions":[],"lastnames":["Carmo"],"suffixes":[]}],"title":"Cálculo de raízes quadradas de grafos utilizando um resolvedor pseudo-booleano","booktitle":"Anais do IV Workshop de Pesquisa em Computação dos Campos Gerais","issn":"2526-1371","volume":"4","year":"2021","pages":"25","address":"Ponta Grossa, Paraná","doi":"10.5281/zenodo.6090322","url_pdf":"http://www.wpccg.pro.br/wpccg2021/papers/paper_40","bibtex":"@InProceedings{CavassinRochaCarmo21,\n author = {Pietro Cavassin and Aleffer Rocha and Renato Carmo},\n title = {Cálculo de raízes quadradas de grafos utilizando um\n resolvedor pseudo-booleano},\n booktitle = {Anais do IV Workshop de Pesquisa em Computação dos\n Campos Gerais},\n issn = {2526-1371},\n volume = {4},\n year = {2021},\n pages = {25},\n address = {Ponta Grossa, Paraná},\n doi = {10.5281/zenodo.6090322},\n url_pdf = {http://www.wpccg.pro.br/wpccg2021/papers/paper_40}\n}\n\n","author_short":["Cavassin, P.","Rocha, A.","Carmo, R."],"key":"CavassinRochaCarmo21","id":"CavassinRochaCarmo21","bibbaseid":"cavassin-rocha-carmo-clculoderazesquadradasdegrafosutilizandoumresolvedorpseudobooleano-2021","role":"author","urls":{" pdf":"http://www.wpccg.pro.br/wpccg2021/papers/paper_40"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.inf.ufpr.br/teoria/universal2016/universal.bib","dataSources":["wKyTDzPCLmTgMwZxK"],"keywords":[],"search_terms":["lculo","zes","quadradas","grafos","utilizando","resolvedor","pseudo","booleano","cavassin","rocha","carmo"],"title":"Cálculo de raízes quadradas de grafos utilizando um resolvedor pseudo-booleano","year":2021}