Delaying Constraint Solving in Symbolic Graph Transformation
From MaRDI portal
Recommendations
- Symbolic simplification by means of graph transformations
- Analysing graph transformation systems through constraint handling rules
- scientific article; zbMATH DE number 4174376
- Symbolic graphs for attributed graph constraints
- scientific article; zbMATH DE number 3854447
- Graph transformation units guided by a SAT solver
- scientific article; zbMATH DE number 1059313
- A structural approach to graph transformation based on symmetric Petri nets
- SOLVING SYMBOLIC ORDERING CONSTRAINTS
Cited in
(13)- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Theorem proving graph grammars with attributes and negative application conditions
- Unification of drags and confluence of drag rewriting
- Lazy graph transformation
- Attribute handling for generating preconditions from graph constraints
- scientific article; zbMATH DE number 4174376 (Why is no real title available?)
- Rule algebras for adhesive categories
- scientific article; zbMATH DE number 7456048 (Why is no real title available?)
- scientific article; zbMATH DE number 7456052 (Why is no real title available?)
- Unfolding Symbolic Attributed Graph Grammars
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- Symbolic graphs for attributed graph constraints
This page was built for publication: Delaying Constraint Solving in Symbolic Graph Transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931303)
