David E. Narváez

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