We present a detailed solution to the N-queens puzzle using GROOVE, a graph transformation tool especially designed for state space exploration and analysis. While GROOVE has been freely available for more than a decade and has attracted a reasonable number of users, it is safe to say that only a few of these users fully exploit the tool features. To improve this situation, using the N-queens puzzle as a case study, in this paper we provide an in-depth discussion about problem solving with GROOVE, at the same time highlighting some of the tool’s more advanced features. This leads to a list of best-practice guidelines, which we believe to be useful to new and expert users alike.
|Name||Electronic Communications of the EASST|
|Publisher||European Association of Software Science and Technology|
|Conference||13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), Grenoble, France|
|Period||1/04/14 → …|
- Graph Transformation
- Best Practices