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

Eduardo Zambon; Arend Rensink

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

Eduardo Zambon, Arend Rensink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

148 Downloads (Pure)

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 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
Event	13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), Grenoble, France: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) - Berlin, Germany Duration: 1 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

Conference

Conference	13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), Grenoble, France
City	Berlin, Germany
Period	1/04/14 → …

Keywords

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

Access to Document

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). European Association of Software Science and Technology. http://journal.ub.tu-berlin.de/eceasst/article/view/938/

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). editor / F. Hermann ; S. Sauer. Berlin, Germany : European Association of Software Science and Technology, 2014. pp. - (Electronic Communications of the EASST; 938).

@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",

}

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. -, 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), Grenoble, France, Berlin, Germany, 1/04/14. <http://journal.ub.tu-berlin.de/eceasst/article/view/938/>

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

Y2 - 1 April 2014

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).