Carl F. Andersen. Using Join Networks to Compute Satisfiability. PhD thesis, University of Maryland, College Park, MD, USA, 2008. [doi]
@phdthesis{basesearch-1903,
title = {Using Join Networks to Compute Satisfiability},
author = {Carl F. Andersen},
year = {2008},
url = {https://www.base-search.net/Record/a02b8d36a8b9ac228df41d870bb935a2a329ad2850c4c1c186a52c60c0d30bbe},
note = {base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/8146)},
researchr = {https://researchr.org/publication/basesearch-1903},
cites = {0},
citedby = {0},
school = {University of Maryland, College Park, MD, USA},
}