@phdthesis{Klieber2014,
author = {Klieber, William},
file = {:Users/jonaprieto/Mendeley/Klieber - 2014 - Formal Verification Using Quantified Boolean Formulas (QBF).pdf:pdf},
keywords = {QBF Solvers},
mendeley-tags = {QBF Solvers},
school = {Carnegie Mellon University},
title = {{Formal Verification Using Quantified Boolean Formulas (QBF)}},
url = {http://www.cs.cmu.edu/~wklieber/thesis.pdf},
year = {2014}
}

{"_id":"6hbJdvqKtkBWmKzyF","bibbaseid":"klieber-formalverificationusingquantifiedbooleanformulasqbf-2014","downloads":0,"creationDate":"2017-09-01T03:35:40.537Z","title":"Formal Verification Using Quantified Boolean Formulas (QBF)","author_short":["Klieber, W."],"year":2014,"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Klieber"],"firstnames":["William"],"suffixes":[]}],"file":":Users/jonaprieto/Mendeley/Klieber - 2014 - Formal Verification Using Quantified Boolean Formulas (QBF).pdf:pdf","keywords":"QBF Solvers","mendeley-tags":"QBF Solvers","school":"Carnegie Mellon University","title":"Formal Verification Using Quantified Boolean Formulas (QBF)","url":"http://www.cs.cmu.edu/~wklieber/thesis.pdf","year":"2014","bibtex":"@phdthesis{Klieber2014,\nauthor = {Klieber, William},\nfile = {:Users/jonaprieto/Mendeley/Klieber - 2014 - Formal Verification Using Quantified Boolean Formulas (QBF).pdf:pdf},\nkeywords = {QBF Solvers},\nmendeley-tags = {QBF Solvers},\nschool = {Carnegie Mellon University},\ntitle = {{Formal Verification Using Quantified Boolean Formulas (QBF)}},\nurl = {http://www.cs.cmu.edu/~wklieber/thesis.pdf},\nyear = {2014}\n}\n","author_short":["Klieber, W."],"key":"Klieber2014","id":"Klieber2014","bibbaseid":"klieber-formalverificationusingquantifiedbooleanformulasqbf-2014","role":"author","urls":{"Paper":"http://www.cs.cmu.edu/~wklieber/thesis.pdf"},"keyword":["QBF Solvers"],"downloads":0},"search_terms":["formal","verification","using","quantified","boolean","formulas","qbf","klieber"],"keywords":["qbf solvers"],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}