David E. Narváez

About

I am a PhD student working under the supervision of Edith Hemaspaandra and Stanisław P. Radziszowski in all things related to constraint satisfaction techniques for combinatorial problems. I did my BS in Computer Systems Engineering at UTP (I am, as a matter of fact, from Panama) and my MS in Computer Science at RIT.

Research

My main focus is on solving combinatorial problems using constraint satisfaction techniques (see my AAAI 18 Doctoral Consortium paper). Within that topic, there are several specific areas I am interested in.

Publications

[1] J. Brakensiek, M. Heule, J. Mackey, and D. E. Narváez. The resolution of Keller's conjecture. In IJCAR-20, 2020. To appear. [ bib ]
[2] D. E. Narváez. A QSAT benchmark based on vertex-Folkman problems. In AAAI-20, 2020. To appear. [ bib ]
[3] L. A. Hemaspaandra and D. E. Narváez. Existence versus exploitation: The opacity of backdoors and backbones under a weak assumption. In 45th International Conference on Current Trends in Theory and Practice of Computer Science, pages 247--259. Springer, 2019. [ bib | DOI ]
[4] D. E. Narváez. Formalizing CNF SAT symmetry breaking in PVS. In J. M. Badger and K. Y. Rozier, editors, NASA Formal Methods Symposium, volume 11460 of Lecture Notes in Computer Science, pages 341--354. Springer, 2019. [ bib | DOI ]
[5] Z. Fitzsimmons, E. Hemaspaandra, A. Hoover, and D. E. Narváez. Very hard electoral control problems. In AAAI-19, 2019. To appear. [ bib ]
[6] C. Jayawardene, D. E. Narváez, and S. P. Radziszowski. Star-critical Ramsey numbers for cycles versus K4. Discussiones Mathematicae Graph Theory, (2629), 2018. In press. [ bib | DOI ]
[7] D. E. Narváez. Exploring the use of Shatter for AllSAT through Ramsey-type problems. In The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), pages 8123--8124. AAAI Press, 2018. [ bib | http ]
[8] D. E. Narváez. Constraint satisfaction techniques for combinatorial problems. In The Twenty-Third AAAI/SIGAI Doctoral Consortium, pages 8028--8029. AAAI Press, 2018. [ bib | http ]
[9] L. A. Hemaspaandra and D. E. Narváez. The opacity of backbones. In 31st AAAI Conference on Artificial Intelligence, pages 3900--3906. AAAI Press, Feb. 2017. [ bib | http ]

Teaching