Efficient Verified (UN)SAT Certificate Checking.

MLA

Lammich, Peter. “Efficient Verified (UN)SAT Certificate Checking.” Journal of Automated Reasoning, vol. 64, no. 3, Mar. 2020, pp. 513–32. EBSCOhost, https://doi.org/10.1007/s10817-019-09525-z.

APA

Lammich, P. (2020). Efficient Verified (UN)SAT Certificate Checking. Journal of Automated Reasoning, 64(3), 513–532. https://doi.org/10.1007/s10817-019-09525-z

Chicago

Lammich, Peter. 2020. “Efficient Verified (UN)SAT Certificate Checking.” Journal of Automated Reasoning 64 (3): 513–32. doi:10.1007/s10817-019-09525-z.