Narváez, D. E. “A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 10, Apr. 2020, pp. 13881-2, doi:10.1609/aaai.v34i10.7213.