Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
| Editors | F. Hermann, S. Sauer |
| Place of Publication | Berlin, Germany |
| Publisher | European Association of Software Science and Technology |
| Pages | - |
| Number of pages | 13 |
| Publication status | Published - Apr 2014 |
Publication series
| Name | Electronic Communications of the EASST |
|---|---|
| Publisher | European Association of Software Science and Technology |
| Number | 938 |
| Volume | 67 |
| ISSN (Print) | 1863-2122 |
| ISSN (Electronic) | 1863-2122 |
Keywords
- EWI-24981
- GROOVE
- Graph Transformation
- METIS-305984
- IR-91954
- Best Practices
- N-Queens
Cite this
}
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. / Zambon, Eduardo; Rensink, Arend.
Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). ed. / F. Hermann; S. Sauer. Berlin, Germany : European Association of Software Science and Technology, 2014. p. - (Electronic Communications of the EASST; Vol. 67, No. 938).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
AU - Zambon, Eduardo
AU - Rensink, Arend
PY - 2014/4
Y1 - 2014/4
N2 - 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.
AB - 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.
KW - EWI-24981
KW - GROOVE
KW - Graph Transformation
KW - METIS-305984
KW - IR-91954
KW - Best Practices
KW - N-Queens
M3 - Conference contribution
T3 - Electronic Communications of the EASST
SP - -
BT - Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
A2 - Hermann, F.
A2 - Sauer, S.
PB - European Association of Software Science and Technology
CY - Berlin, Germany
ER -