APA (7th ed.) Citation

Hiess, I., Kampel, L., Wagner, M., & Simos, D. E. (2022, September). IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. Proceedings (International Symposium on Symbolic and Numeric Algorithms for Scientific Computing), 71-79. https://doi.org/10.1109/SYNASC57785.2022.00021

Chicago Style (17th ed.) Citation

Hiess, Irene, Ludwig Kampel, Michael Wagner, and Dimitris E. Simos. "IPO-MAXSAT: The In-Parameter-Order Strategy Combined with MaxSAT Solving for Covering Array Generation." Proceedings (International Symposium on Symbolic and Numeric Algorithms for Scientific Computing) Sep. 2022: 71-79. https://doi.org/10.1109/SYNASC57785.2022.00021.

MLA (9th ed.) Citation

Hiess, Irene, et al. "IPO-MAXSAT: The In-Parameter-Order Strategy Combined with MaxSAT Solving for Covering Array Generation." Proceedings (International Symposium on Symbolic and Numeric Algorithms for Scientific Computing), Sep. 2022, pp. 71-79, https://doi.org/10.1109/SYNASC57785.2022.00021.