APA (7th ed.) Citation

Anders, M., Schweitzer, P., & Soos, M. (2023). Algorithms Transcending the SAT-Symmetry Interface.

Chicago Style (17th ed.) Citation

Anders, Markus, Pascal Schweitzer, and Mate Soos. Algorithms Transcending the SAT-Symmetry Interface. 2023.

MLA (9th ed.) Citation

Anders, Markus, et al. Algorithms Transcending the SAT-Symmetry Interface. 2023.