APA

Young, J. (2021). Variational Satisfiability Solving. : Oregon State University.