%0 Thesis %1 phd/ca/Goultiaeva14 %A Goultiaeva, Alexandra %D 2014 %K dblp %T Exploiting Problem Structure in QBF Solving.

@phdthesis{phd/ca/Goultiaeva14, added-at = {2022-07-29T00:00:00.000+0200}, author = {Goultiaeva, Alexandra}, biburl = {https://www.bibsonomy.org/bibtex/24ee7ea0cf3fb92b26ae47468e61f4193/dblp}, ee = {http://hdl.handle.net/1807/44111}, interhash = {9cafa2004f76f4ce7c96469e05446aa5}, intrahash = {4ee7ea0cf3fb92b26ae47468e61f4193}, keywords = {dblp}, school = {University of Toronto, Canada}, timestamp = {2024-04-09T09:28:22.000+0200}, title = {Exploiting Problem Structure in QBF Solving.}, year = 2014 }