@inproceedings{fa9c004375b84045892e9d0052b31cb2,
title = "Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices",
abstract = "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{\textquoteright}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.",
keywords = "EWI-24981, GROOVE, Graph Transformation, METIS-305984, IR-91954, Best Practices, N-Queens",
author = "Eduardo Zambon and Arend Rensink",
year = "2014",
month = apr,
language = "Undefined",
series = "Electronic Communications of the EASST",
publisher = "European Association of Software Science and Technology",
number = "938",
pages = "--",
editor = "F. Hermann and S. Sauer",
booktitle = "Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)",
note = "null ; Conference date: 01-04-2014",
}