Włodzimierz Drabent

On correctness and completeness of an n queens program

2021 · arXiv (Cornell University)

Thom Frühwirth presented a short, elegant and efficient Prolog program for the n queens problem. However the program may be seen as rather tricky and one may not be convinced about its correctness. This paper …