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