APA (7th ed.) Citation

CZERNER, P., ESPARZA, J., KRASOTIN, V., & KRAUSS, A. (2026). A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT. Logical Methods in Computer Science (LMCS), 22(2), 1. https://doi.org/10.46298/LMCS-22(2:17)2026

Chicago Style (17th ed.) Citation

CZERNER, PHILIPP, JAVIER ESPARZA, VALENTIN KRASOTIN, and ADRIAN KRAUSS. "A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT." Logical Methods in Computer Science (LMCS) 22, no. 2 (2026): 1. https://doi.org/10.46298/LMCS-22(2:17)2026.

MLA (9th ed.) Citation

CZERNER, PHILIPP, et al. "A RESOLUTION-BASED INTERACTIVE PROOF SYSTEM FOR UNSAT." Logical Methods in Computer Science (LMCS), vol. 22, no. 2, 2026, p. 1, https://doi.org/10.46298/LMCS-22(2:17)2026.