TY  - RPRT
TI  - Formal Verification of a Solution to the n-Queens Problem
AU  - Mahyar R Malekpour
PY  - 2020
UR  - https://ntrs.nasa.gov/citations/20200003161
ID  - 20200003161
ER  -