CoReS: A tool for computing core graphs via SAT/SMT solvers. - Barbara König 001; Maxime Nederkorn; Dennis Nolte (J. Log. Algebraic Methods Program., 2019)