Oliver Gableske. SAT solving with message passing. PhD thesis, University of Ulm, Germany, 2016. [doi]
@phdthesis{dnb-19646, title = {SAT solving with message passing}, author = {Oliver Gableske}, year = {2016}, url = {http://d-nb.info/1132820766}, researchr = {https://researchr.org/publication/dnb-19646}, cites = {0}, citedby = {0}, school = {University of Ulm, Germany}, }