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), 13881-13882. https://doi.org/10.1609/aaai.v34i10.7213