Pages that link to "Item:Q2873776"
From MaRDI portal
The following pages link to Solving Sudoku puzzles with rewriting rules (Q2873776):
Displaying 9 items.
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Sudoku puzzles and how to solve them (Q2474803) (← links)
- Generalizing Sudoku to three dimensions (Q3068182) (← links)
- Global Solution for Sudoku (Q4987847) (← links)
- (Q5089038) (← links)
- Redundant Sudoku rules (Q5418948) (← links)
- The Maude strategy language (Q6113021) (← links)
- An Overview of the Maude Strategy Language and its Applications (Q6487295) (← links)