CoReS

swMATH28116MaRDI QIDQ39830FDOQ39830

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-319-92991-0_3

Source code repository: https://github.com/mnederkorn/CoReS

Described by source

• CoReS: a tool for computing core graphs via SAT/SMT solvers
• CoReS: a tool for computing core graphs via SAT/SMT solvers

Cited In (5)

• Preface to the special issue on the 11th international conference on graph transformation
• MEMSALab
• Limboole
• SemidefiniteProgramming
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points

This page was built for software: CoReS