APA (7th ed.) Citation

Eriksson, L., Lagerkvist, V., Osipov, G., Ordyniak, S., Panolan, F., & Rychlicki, M. (2024). Solving Quantified Boolean Formulas with Few Existential Variables.

Chicago Style (17th ed.) Citation

Eriksson, Leif, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, and Mateusz Rychlicki. Solving Quantified Boolean Formulas with Few Existential Variables. 2024.

MLA (9th ed.) Citation

Eriksson, Leif, et al. Solving Quantified Boolean Formulas with Few Existential Variables. 2024.