Kuhlmann, I., Gessler, A., Laszlo, V., & Thimm, M. (2025). Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement. Journal of Artificial Intelligence Research, 82, 563. https://doi.org/10.1613/jair.1.16888
Chicago Style (17th ed.) CitationKuhlmann, Isabelle, Anna Gessler, Vivien Laszlo, and Matthias Thimm. "Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement." Journal of Artificial Intelligence Research 82 (2025): 563. https://doi.org/10.1613/jair.1.16888.
MLA (9th ed.) CitationKuhlmann, Isabelle, et al. "Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement." Journal of Artificial Intelligence Research, vol. 82, 2025, p. 563, https://doi.org/10.1613/jair.1.16888.