David E. Narváez

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 32

Top Topics

Foreground And Background

Control Problems

Top Venues

Publications

David E. Narváez, Cruise Song, Ningxin Zhang
Formalizing Finite Ramsey Theory in Lean 4. CICM (2024)
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
Search versus Search for Collapsing Electoral Control Types. AAMAS (2023)
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
Separating and Collapsing Electoral Control Types. AAMAS (2023)
Zohair Raza Hassan, Yu Jiang, David E. Narváez, Stanislaw P. Radziszowski, Xiaodong Xu
On Some Generalized Vertex Folkman Numbers. Graphs Comb. 39 (3) (2023)
Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez
Feedback Tools and Motivation to Persist in Intro CS Theory. SIGCSE (2) (2023)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
The Resolution of Keller's Conjecture. J. Autom. Reason. 66 (3) (2022)
Edith Hemaspaandra, David E. Narváez
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. CICM (2022)
Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez
Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension. SIGCSE (1) (2022)
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
Search versus Search for Collapsing Electoral Control Types. CoRR (2022)
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
Separating and Collapsing Electoral Control Types. CoRR (2022)
Lane A. Hemaspaandra, David E. Narváez
Existence versus exploitation: the opacity of backdoors and backbones. Prog. Artif. Intell. 10 (3) (2021)
David E. Narváez, Patrick Phillips
On Lev Gordeev's "On P Versus NP". CoRR (2021)
Lane A. Hemaspaandra, David E. Narváez
The opacity of backbones. Inf. Comput. 281 (2021)
Arian Nadjimzadah, David E. Narváez
On Salum's Algorithm for X3SAT. CoRR (2021)
Hannah Miller, David E. Narváez
Toward Determining NFA Equivalence via QBFs (Student Abstract). AAAI (2021)
Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez
Witness Feedback for Introductory CS Theory Assignments. SIGCSE (2021)
Mandar Juvekar, David E. Narváez, Melissa Welsh
On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \mathrm{NP}$. CoRR (2021)
Chula J. Jayawardene, David E. Narváez, Stanislaw P. Radziszowski
. Discuss. Math. Graph Theory 41 (2) (2021)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
The Resolution of Keller's Conjecture. IJCAR (1) (2020)
Ivona Bezáková, Edith Hemaspaandra, Aryeh Lieberman, Hannah Miller, David E. Narváez
Prototype of an Automated Feedback Tool for Intro CS Theory. SIGCSE (2020)
Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez
Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence. CoRR (2020)
David E. Narváez
A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract). AAAI (2020)
Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez
Very Hard Electoral Control Problems. AAAI (2019)
David E. Narváez
Formalizing CNF SAT Symmetry Breaking in PVS. NFM (2019)
Lane A. Hemaspaandra, David E. Narváez
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. SOFSEM (2019)
Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover, David E. Narváez
Very Hard Electoral Control Problems. CoRR (2018)
David E. Narváez
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. AAAI (2018)
David E. Narváez
Constraint Satisfaction Techniques for Combinatorial Problems. AAAI (2018)
Lane A. Hemaspaandra, David E. Narváez
The Opacity of Backbones and Backdoors Under a Weak Assumption. CoRR (2017)
Lane A. Hemaspaandra, David E. Narváez
The Opacity of Backbones. AAAI (2017)
David E. Narváez
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. CoRR (2017)
Lane A. Hemaspaandra, David E. Narváez
The Opacity of Backbones. CoRR (2016)