Hard QBFs for Merge Resolution

MLA

Beyersdorff, Olaf, et al. Hard QBFs for Merge Resolution. 2020. EBSCOhost, https://doi.org/10.1145/3638263.

APA

Beyersdorff, O., Blinkhorn, J., Mahajan, M., Peitl, T., & Sood, G. (2020). Hard QBFs for Merge Resolution. https://doi.org/10.1145/3638263

Chicago

Beyersdorff, Olaf, Joshua Blinkhorn, Meena Mahajan, Tomáš Peitl, and Gaurav Sood. 2020. “Hard QBFs for Merge Resolution.” doi:10.1145/3638263.