On Correctness and Completeness of an n Queens Program

Wlodzimierz Drabent. On Correctness and Completeness of an n Queens Program. TPLP, 22(1):37-50, 2022. [doi]

Abstract

Abstract is missing.