AboutI 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. |
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.
[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 ] |