On correctness and completeness of an n queens program.

Wlodzimierz Drabent

Published in: CoRR (2021)

Keyphrases

computer programs
real time
computer vision
three dimensional
test cases
data mining
information systems
decision trees
database systems
data structure
relational databases
control program