首页    期刊浏览 2024年12月25日 星期三
登录注册

文章基本信息

  • 标题:Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
  • 本地全文:下载
  • 作者:Eduardo Zambon ; Arend Rensink
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2014
  • 卷号:67
  • 期号:0
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要: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.
国家哲学社会科学文献中心版权所有