APA (7th ed.) Citation

Courcelle, B., & Durand, I. (2026). On using SAT solvers for graph computations. Discrete Applied Mathematics, 380, 348. https://doi.org/10.1016/j.dam.2025.10.017

Chicago Style (17th ed.) Citation

Courcelle, B., and I. Durand. "On Using SAT Solvers for Graph Computations." Discrete Applied Mathematics 380 (2026): 348. https://doi.org/10.1016/j.dam.2025.10.017.

MLA (9th ed.) Citation

Courcelle, B., and I. Durand. "On Using SAT Solvers for Graph Computations." Discrete Applied Mathematics, vol. 380, 2026, p. 348, https://doi.org/10.1016/j.dam.2025.10.017.