APA (7th ed.) Citation

Lindblad, J. (2019). On the Structure of Resolution Refutations Generated by Modern CDCL Solvers. KTH, Skolan för elektroteknik och datavetenskap (EECS).

Chicago Style (17th ed.) Citation

Lindblad, Johan. On the Structure of Resolution Refutations Generated by Modern CDCL Solvers. KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019.

MLA (8th ed.) Citation

Lindblad, Johan. On the Structure of Resolution Refutations Generated by Modern CDCL Solvers. KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019.

Warning: These citations may not always be 100% accurate.