APA (7th ed.) Citation

Andraschko, B., Danner, J., & Kreuzer, M. (2023). SAT Solving Using XOR-OR-AND Normal Forms.

Chicago Style (17th ed.) Citation

Andraschko, Bernhard, Julian Danner, and Martin Kreuzer. SAT Solving Using XOR-OR-AND Normal Forms. 2023.

MLA (9th ed.) Citation

Andraschko, Bernhard, et al. SAT Solving Using XOR-OR-AND Normal Forms. 2023.