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

Eduardo Zambon, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    127 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 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
    Publication statusPublished - 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.