David E. Narváez
From MaRDI portal
Person:2051796
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalizing finite Ramsey theory in Lean 4 | 2024-12-04 | Paper |
| On some generalized vertex Folkman numbers Graphs and Combinatorics | 2023-07-12 | Paper |
| Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification Lecture Notes in Computer Science | 2023-06-02 | Paper |
| The resolution of Keller's conjecture Automated Reasoning | 2022-11-09 | Paper |
| The resolution of Keller's conjecture Journal of Automated Reasoning | 2022-10-24 | Paper |
| The opacity of backbones Information and Computation | 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\) Discussiones Mathematicae Graph Theory | 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
