TY  - RPRT
TI  - Quantified boolean formula problem
AU  - Grigoriy V. Bokov
PY  - 2018
UR  - https://arxiv.org/abs/1807.07005
ID  - 1807.07005
ER  -