Graph Transformation Units Guided by a SAT Solver

  title={Graph Transformation Units Guided by a SAT Solver},
  author={Hans-J{\"o}rg Kreowski and Sabine Kuske and Robert Wille},
Graph transformation units are rule-based devices to model graph algorithms, graph processes, and the dynamics of systems the states of which are represented by graphs. Given a graph, various rules are applicable at various matches in general, but not any choice leads to a proper result so that one faces the problem of nondeterminism. As countermeasure, graph transformation units provide the generic concept of control conditions which allow one to cut down the nondeterminism and to choose the… CONTINUE READING

Similar Papers

Loading similar papers…