On Some Generalized Vertex Folkman Numbers von Hassan, Zohair Raza, Jiang, Yu, Narváez, David E., Radziszowski, Stanisław, Xu, Xiaodong

Volltext

Existence versus exploitation: the opacity of backdoors and backbones von Hemaspaandra, Lane A., Narváez, David E.

Volltext

The opacity of backbones von Hemaspaandra, Lane A., Narváez, David E.

Volltext

Formalizing Finite Ramsey Theory in Lean 4 von Narváez, David E., Song, Cruise, Zhang, Ningxin

Volltext

Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification von Hemaspaandra, Edith, Narváez, David E.

Volltext

Formalizing CNF SAT Symmetry Breaking in PVS von Narváez, David E.

Volltext

Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption von Hemaspaandra, Lane A., Narváez, David E.

Volltext

Separating and Collapsing Electoral Control Types von Carleton, Benjamin, Chavrimootoo, Michael C., Hemaspaandra, Lane A., Narvaez, David E., Taliancich, Conor, Welles, Henry B.

Volltext

CF-GKAT: Efficient Validation of Control-Flow Transformations von Zhang, Cheng, Kappé, Tobias, Narváez, David E, Naus, Nico

Volltext

On Salum's Algorithm for $\mathrm{X3SAT} von Nadjimzadah, Arian, Narváez, David E

Volltext bestellen

On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \mathrm{NP} von Juvekar, Mandar, Narváez, David E, Welsh, Melissa

Volltext bestellen

Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems von Narváez, David E

Volltext bestellen

Search versus Search for Collapsing Electoral Control Types von Carleton, Benjamin, Chavrimootoo, Michael C, Hemaspaandra, Lane A, Narváez, David E, Taliancich, Conor, Welles, Henry B

Volltext bestellen

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

Volltext bestellen

On Salum's Algorithm for \(\mathrm{X3SAT}\) von Nadjimzadah, Arian, Narváez, David E

Volltext

On Some Generalized Vertex Folkman Numbers von Hassan, Zohair Raza, Jiang, Yu, Narváez, David E, Radziszowski, Stanisław, Xu, Xiaodong

Volltext bestellen

Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence von Bezáková, Ivona, Fluet, Kimberly, Hemaspaandra, Edith, Miller, Hannah, Narváez, David E

Volltext bestellen

Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption von Hemaspaandra, Lane A, Narváez, David E

Volltext bestellen

Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems von Narváez, David E

Volltext

On Arroyo-Figueroa's Proof that \(\mathrm{P} \neq \mathrm{NP}\) von Juvekar, Mandar, Narváez, David E, Welsh, Melissa

Volltext