On using SAT solvers for graph computations. - Courcelle, B.; Durand, I. (Discrete Applied Mathematics, 2026)