BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @mastersthesis{TUW-253797, author = {Vazcula, Csaba}, title = {The Hobel algorithm - SAT L{\"o}sung mit GPU u{\&}{\#}776;ber DPLL}, school = {Institute of Computer Engineering}, year = {2016}, url = {http://publik.tuwien.ac.at/files/publik_253797.pdf} } 1 Datensatz ausgegeben