David E. Narváez

Available identifiers

zbMath Open narvaez.david-eMaRDI QIDQ2051796

List of research outcomes

Publication	Date of Publication	Type
On some generalized vertex Folkman numbers	2023-07-12	Paper
Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification	2023-06-02	Paper
The resolution of Keller's conjecture	2022-11-09	Paper
The resolution of Keller's conjecture	2022-10-24	Paper
The opacity of backbones	2021-11-25	Paper
On Arroyo-Figueroa's Proof that $\mathrm{P} \neq \mathrm{NP}$	2021-03-28	Paper
Star-critical Ramsey numbers for cycles versus \(K_4\)	2021-02-10	Paper
Existence versus exploitation: the opacity of backdoors and backbones under a weak assumption	2020-10-22	Paper
The Resolution of Keller's Conjecture	2019-10-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David E. Narváez