From Graph Transformation Units via MiniSat to GrGen.NET.

Marcus Ermler Hans-Jörg Kreowski Sabine Kuske Caroline von Totth

Published in: AGTIVE (2011)

Keyphrases

graph transformation
sat solvers
sat solving
lower bound
real time
computer vision
decision trees