APA (7th ed.) Citation

Sidorov, K., van der Linden, K., Correia, G. H. d. A., de Weerdt, M., & Demirović, E. (2024). How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization.

Chicago Style (17th ed.) Citation

Sidorov, Konstantin, Koos van der Linden, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, and Emir Demirović. How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. 2024.

MLA (9th ed.) Citation

Sidorov, Konstantin, et al. How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. 2024.