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)
    135 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
    Event13th 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

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

    Conference

    Conference13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), Grenoble, France
    CityBerlin, Germany
    Period1/04/14 → …

    Keywords

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

    Cite this