Pages that link to "Item:Q2720299"
From MaRDI portal
The following pages link to A simple formalization and proof for the multilated chess board (Q2720299):
Displaying 4 items.
- Mutilated chessboard problem is exponentially hard for resolution (Q1884991) (← links)
- An alternative efficient chessboard representation based on 4-bit piece coding (Q2856795) (← links)
- Max Euwe's Set-Theoretic Observations on the Game of Chess — Introductory Notes (Q4598040) (← links)
- A Natural Formalization of the Mutilated Checkerboard Problem in Naproche (Q6099603) (← links)