A case study on the graph-transformational modeling and analysis of puzzles

DOI10.1007/978-3-030-78946-6_11MaRDI QIDQ2117266zbMATH OpenOpenAlexFDO

Authors Aaron Lye, Hans-Jörg Kreowski

Publication date 21 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-78946-6_11

Mathematics Subject Classification ID

Recreational mathematics (00A08) Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Recommendations

• Solving general lattice puzzles
• Games, puzzles, and computation
• Graph transformation units guided by a SAT solver
• scientific article; zbMATH DE number 2016850
• A graph-theoretical approach to solving scramble squares puzzles

Cites work

• Autonomous units to model interacting sequential and parallel processes
• Graph Transformation Units – An Overview
• Hashiwokakero is NP-complete
• On the interleaving semantics of transformation units -- a step into GRACE

This page was built for publication: A case study on the graph-transformational modeling and analysis of puzzles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117266)