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

DOI10.1007/978-3-319-92991-0_3zbMath1394.68197OpenAlexW2806461060MaRDI QIDQ5915710

Barbara König, Maxime Nederkorn, Dennis Nolte

Publication date: 24 August 2018

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92991-0_3

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

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

Uses Software

• SMT-LIB
• z3
• Limboole

This page was built for publication: CoReS: a tool for computing core graphs via SAT/SMT solvers