Narváez, D. E. A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract). AAAI 2020, 34, 13881-13882.