The top documents tagged [retrograde chess problems]

Automated reasoning about retrograde chess problems using Coq
Documents Automated reasoning about retrograde chess problems using Coq

64 views