Stephan Gocht. Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning. PhD thesis, Lund University, Sweden, 2022. [doi]
@phdthesis{basesearch-11883,
title = {Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning},
author = {Stephan Gocht},
year = {2022},
url = {https://www.base-search.net/Record/56fe6b8ff8239a78e0ab5570ccc1ba17323a9a356fea057cc1f18e662e07540c},
note = {base-search.net (ftulundlup:oai:lup.lub.lu.se:3550cb96-83d5-4fc7-9e62-190083a3c10a)},
researchr = {https://researchr.org/publication/basesearch-11883},
cites = {0},
citedby = {0},
school = {Lund University, Sweden},
}