D. E. Narváez, “A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract)”, AAAI, vol. 34, no. 10, pp. 13881-13882, Apr. 2020.