Pages that link to "Item:Q4895549"
From MaRDI portal
The following pages link to An interactive solution to the n x n mutilated checkerboard problem (Q4895549):
Displaying 5 items.
- Mutilated chessboard problem is exponentially hard for resolution (Q1884991) (← links)
- A simple formalization and proof for the multilated chess board (Q2720299) (← links)
- Parity Party with Picture Proofs: An Odd Checkerboard Problem (Q3103429) (← links)
- On sets, types, fixed points, and checkerboards (Q4645222) (← links)
- A Natural Formalization of the Mutilated Checkerboard Problem in Naproche (Q6099603) (← links)