David E. Narváez

Available identifiers

zbMath Open narvaez.david-eMaRDI QIDQ2051796

List of research outcomes

Publication	Date of Publication	Type
Formalizing finite Ramsey theory in Lean 4	2024-12-04	Paper
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

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