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