Graph transformation units guided by a SAT solver

DOI10.1007/978-3-642-15928-2_3MaRDI QIDQ4931302zbMATH OpenOpenAlexWikidataFDO

Authors Sabine Kuske, Robert Wille, Hans-Jörg Kreowski

Publication date 4 October 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15928-2_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 1629837
• Undecidable control conditions in graph transformation units
• Parameterized transformation units
• Graph transformation units with interleaving semantics
• On the interleaving semantics of transformation units -- a step into GRACE

Cited in

(6)

• A case study on the graph-transformational modeling and analysis of puzzles
• Undecidable control conditions in graph transformation units
• Delaying Constraint Solving in Symbolic Graph Transformation
• Analysis of graph transformation systems: native vs translation-based techniques
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• CoReS: a tool for computing core graphs via SAT/SMT solvers

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Graph transformation units guided by a SAT solver

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931302)