APA (7th ed.) Citation

Schubert, A., Urzyczyn, P., & Zdanowski, K. (2024). Between proof construction and SAT-solving.

Chicago Style (17th ed.) Citation

Schubert, Aleksy, Paweł Urzyczyn, and Konrad Zdanowski. Between Proof Construction and SAT-solving. 2024.

MLA (9th ed.) Citation

Schubert, Aleksy, et al. Between Proof Construction and SAT-solving. 2024.