The Opacity of Backbones and Backdoors Under a Weak Assumption. - Lane A. Hemaspaandra; David E. Narváez (CoRR, 2017)

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, 2018)

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

Formalizing CNF SAT Symmetry Breaking in PVS. - David E. Narváez (NFM, 2019)

Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. - Lane A. Hemaspaandra; David E. Narváez (SOFSEM, 2019)

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

Prototype of an Automated Feedback Tool for Intro CS Theory. - Ivona Bezáková; Edith Hemaspaandra; Aryeh Lieberman; Hannah Miller; David E. Narváez (SIGCSE, 2020)

Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (CoRR, 2020)

The Resolution of Keller's Conjecture - Computation Logs. - Joshua Brakensiek; Marijn Heule; John Mackey; David E. Narváez (Zenodo, 2020)

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

Witness Feedback for Introductory CS Theory Assignments. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE, 2021)

On Arroyo-Figueroa's Proof that $ mathrm{P} neq mathrm{NP}$. - Mandar Juvekar; David E. Narváez; Melissa Welsh (CoRR, 2021)

On Salum's Algorithm for X3SAT. - Arian Nadjimzadah; David E. Narváez (CoRR, 2021)

On Lev Gordeev's "On P Versus NP". - David E. Narváez; Patrick A. Phillips (CoRR, 2021)

Star-critical Ramsey numbers for cycles versus K4. - Chula J. Jayawardene; David E. Narváez; Stanislaw P. Radziszowski (Discuss. Math. Graph Theory, 2021)

The opacity of backbones. - Lane A. Hemaspaandra; David E. Narváez (Inf. Comput., 2021)

Existence versus exploitation: the opacity of backdoors and backbones. - Lane A. Hemaspaandra; David E. Narváez (Prog. Artif. Intell., 2021)

Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. - Edith Hemaspaandra; David E. Narváez (CICM, 2022)

Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE (1), 2022)

The Resolution of Keller's Conjecture. - Joshua Brakensiek; Marijn Heule; John Mackey; David E. Narváez (J. Autom. Reason., 2022)

Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. - Edith Hemaspaandra; David E. Narváez (Zenodo, 2022)

Feedback Tools and Motivation to Persist in Intro CS Theory. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE (2), 2023)

On Some Generalized Vertex Folkman Numbers. - Zohair Raza Hassan; Yu Jiang; David E. Narváez; Stanislaw P. Radziszowski; Xiaodong Xu 006 (Graphs Comb., 2023)

Search Versus Search for Collapsing Electoral Control Types. - Benjamin Carleton; Michael C. Chavrimootoo; Lane A. Hemaspaandra; David E. Narváez; Conor Taliancich; Henry B. Welles (EUMAS, 2024)

Formalizing Finite Ramsey Theory in Lean 4. - David E. Narváez; Cruise Song; Ningxin Zhang (CICM, 2024)

Separating and Collapsing Electoral Control Types. - Benjamin Carleton; Michael C. Chavrimootoo; Lane A. Hemaspaandra; David E. Narváez; Conor Taliancich; Henry B. Welles (J. Artif. Intell. Res., 2024)

CF-GKAT: Efficient Validation of Control-Flow Transformations. - Cheng Zhang; Tobias Kappé; David E. Narváez; Nico Naus (Proc. ACM Program. Lang., 2025)