International Workshop on Graph Transformation and Visual Modeling Techniques ( GTVMT 2014 ) Solving the N-Queens Problem with GROOVE – Towards a Compendium of Best Practices
International Workshop on Graph Transformation and Visual Modeling Techniques ( GTVMT 2014 ) Solving the N-Queens Problem with GROOVE – Towards a Compendium of Best Practices
复制标题
图转换和视觉建模技术国际研讨会 (GTVMT 2014) 用 GROOVE 解决 N 皇后问题 – 走向最佳实践纲要
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
A. Rensink
中科院分区：
文献类型：
--
作者：
E. Zambon;A. Rensink
我们提出了一个详细的解决方案，N皇后难题使用GROOVE，一个图形转换工具，特别是设计用于状态空间探索和分析。虽然GROOVE已经免费提供了十多年，并吸引了相当数量的用户，但可以肯定地说，只有少数用户充分利用了工具的功能。为了改善这种情况，使用N皇后难题作为案例研究，在本文中，我们提供了一个深入的讨论与GROOVE解决问题，同时突出了一些工具的更先进的功能。这导致了一个最佳实践指南列表，我们相信这对新用户和专家用户都很有用。
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.