Narváez, David E.

7 publications

JAIR 2024 Separating and Collapsing Electoral Control Types Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

AAAI 2021 Toward Determining NFA Equivalence via QBFs (Student Abstract) Hannah Miller, David E. Narváez

AAAI 2020 A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) David E. Narváez

AAAI 2019 Very Hard Electoral Control Problems Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez

AAAI 2018 Constraint Satisfaction Techniques for Combinatorial Problems David E. Narváez

AAAI 2018 Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems David E. Narváez

AAAI 2017 The Opacity of Backbones Lane A. Hemaspaandra, David E. Narváez