On Correctness and Completeness of an n Queens Program.

Wlodzimierz Drabent

Published in: Theory Pract. Log. Program. (2022)

Keyphrases

data quality
computer vision
concurrent programs
databases
website
three dimensional
multiscale
software engineering
test cases
computer programs
programming environment
control program