{"title":"Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT","date_updated":"2023-10-05T22:11:02Z","file":[{"access_level":"open_access","content_type":"application/pdf","file_id":"47793","date_created":"2023-10-05T22:06:24Z","date_updated":"2023-10-05T22:11:02Z","file_name":"2007_Klose_EinErschoepfendeSucheVermeidenderAlgorithmusFuerAllgemeinesKSAT.pdf","relation":"main_file","file_size":820701,"creator":"bhenrik"}],"language":[{"iso":"ger"}],"department":[{"_id":"34"},{"_id":"64"}],"ddc":["000"],"has_accepted_license":"1","citation":{"short":"J. Klose, Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT, 2007.","bibtex":"@book{Klose_2007, title={Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT}, author={Klose, Jaroslaw}, year={2007} }","ieee":"J. Klose, <i>Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT</i>. 2007.","ama":"Klose J. <i>Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT</i>.; 2007.","mla":"Klose, Jaroslaw. <i>Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT</i>. 2007.","chicago":"Klose, Jaroslaw. <i>Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT</i>, 2007.","apa":"Klose, J. (2007). <i>Ein erschöpfende Suche vermeidender Algorithmus für allgemeines k-SAT</i>."},"type":"bachelorsthesis","oa":"1","user_id":"41047","year":"2007","author":[{"full_name":"Klose, Jaroslaw","last_name":"Klose","first_name":"Jaroslaw"}],"file_date_updated":"2023-10-05T22:11:02Z","status":"public","_id":"47653","date_created":"2023-10-05T13:37:05Z"}