Daniel Sawitzki. Algorithmik und Komplexität OBDD-repräsentierter Graphen. PhD thesis, Dortmund University of Technology, 2006. [doi]
@phdthesis{de-5606, title = {Algorithmik und Komplexität OBDD-repräsentierter Graphen}, author = {Daniel Sawitzki}, year = {2006}, url = {http://eldorado.tu-dortmund.de:8080/bitstream/2003/23118/1/DISS.PDF}, note = {http://d-nb.info/997827602}, researchr = {https://researchr.org/publication/de-5606}, cites = {0}, citedby = {0}, school = {Dortmund University of Technology}, }