Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Eduardo Zambon, Arend Rensink

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’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.
Original languageUndefined
Title of host publicationProceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
EditorsF. Hermann, S. Sauer
Place of PublicationBerlin, Germany
PublisherEuropean Association of Software Science and Technology
Pages-
Number of pages13
StatePublished - Apr 2014

Publication series

NameElectronic Communications of the EASST
PublisherEuropean Association of Software Science and Technology
Number938
Volume67
ISSN (Print)1863-2122
ISSN (Electronic)1863-2122

Keywords

  • EWI-24981
  • GROOVE
  • Graph Transformation
  • METIS-305984
  • IR-91954
  • Best Practices
  • N-Queens

Cite this

Zambon, E., & Rensink, A. (2014). Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In F. Hermann, & S. Sauer (Eds.), Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) (pp. -). (Electronic Communications of the EASST; Vol. 67, No. 938). Berlin, Germany: European Association of Software Science and Technology.

Zambon, Eduardo; Rensink, Arend / Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices.

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: Scientific - peer-reviewConference contribution

@inbook{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’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 = "4",
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)",

}

Zambon, E & Rensink, A 2014, Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. in F Hermann & S Sauer (eds), Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Electronic Communications of the EASST, no. 938, vol. 67, European Association of Software Science and Technology, Berlin, Germany, pp. -.

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: Scientific - peer-reviewConference contribution

TY - CHAP

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)

PB - European Association of Software Science and Technology

ER -

Zambon E, Rensink A. Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In Hermann F, Sauer S, editors, Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Berlin, Germany: European Association of Software Science and Technology. 2014. p. -. (Electronic Communications of the EASST; 938).