On Correctness and Completeness of an n Queens Program
 |
 |
@article{nqueens-tplp22,
author = {Drabent, W{\l}odzimierz},
doi = {10.1017/S1471068421000223},
journal = {Theory and Practice of Logic Programming},
number = 1,
pages = {37--50},
publisher = {Cambridge University Press},
title = {On Correctness and Completeness of an n {Q}ueens Program},
volume = 22,
year = 2022}
author = {Drabent, W{\l}odzimierz},
doi = {10.1017/S1471068421000223},
journal = {Theory and Practice of Logic Programming},
number = 1,
pages = {37--50},
publisher = {Cambridge University Press},
title = {On Correctness and Completeness of an n {Q}ueens Program},
volume = 22,
year = 2022}