フォロー
David E. Narváez
David E. Narváez
Postdoctoral Associate, Bradley Department of Electrical and Computer Engineering, Virginia Tech
確認したメール アドレス: computer.org - ホームページ
タイトル
引用先
引用先
The resolution of Keller’s conjecture
J Brakensiek, M Heule, J Mackey, D Narváez
International Joint Conference on Automated Reasoning, 48-65, 2020
462020
The opacity of backbones
LA Hemaspaandra, DE Narváez
Thirty-First AAAI Conference on Artificial Intelligence, 2017
132017
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption
LA Hemaspaandra, DE Narváez
International Conference on Current Trends in Theory and Practice of …, 2019
62019
Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption
LA Hemaspaandra, DE Narváez
arXiv preprint arXiv:1706.04582, 2017
6*2017
Very hard electoral control problems
Z Fitzsimmons, E Hemaspaandra, A Hoover, DE Narváez
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1933-1940, 2019
52019
Star-critical Ramsey Numbers for Cycles Versus K4
CJ Jayawardene, D Narváez, S Radziszowski
52018
Existence versus exploitation: the opacity of backdoors and backbones
LA Hemaspaandra, DE Narváez
Progress in Artificial Intelligence 10 (3), 297-308, 2021
42021
Constraint Satisfaction Techniques for Combinatorial Problems
DE Narváez
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
42018
Prototype of an Automated Feedback Tool for Intro CS Theory
I Bezáková, E Hemaspaandra, A Lieberman, H Miller, DE Narváez
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
32020
On Some Generalized Vertex Folkman Numbers
ZR Hassan, Y Jiang, DE Narváez, S Radziszowski, X Xu
arXiv preprint arXiv:2110.03121, 2021
22021
Formalizing CNF SAT symmetry breaking in PVS
DE Narváez
NASA Formal Methods Symposium, 341-354, 2019
22019
The opacity of backbones and backdoors under a weak assumption
L Hemaspaandra, D Narváez
arXiv preprint arXiv:1706.04582, 2017
22017
Las Ontologías y el Lenguaje OWL 2
D Narváez
Prisma Tecnológico 2, 31-34, 2010
22010
Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension
I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez
Proceedings of the 53rd ACM Technical Symposium on Computer Science …, 2022
12022
Witness Feedback for Introductory CS Theory Assignments
I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez
Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021
12021
Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence
I Bezáková, K Fluet, E Hemaspaandra, H Miller, DE Narváez
arXiv preprint arXiv:2012.01546, 2020
12020
Exploring the use of Shatter for ALLSAT through Ramsey-type problems
DE Narváez
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
12018
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
E Hemaspaandra, DE Narváez
International Conference on Intelligent Computer Mathematics, 241-255, 2022
2022
Toward Determining NFA Equivalence via QBFs (Student Abstract)
H Miller, DE Narváez
Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 15849 …, 2021
2021
A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract)
DE Narváez
Proceedings of the AAAI Conference on Artificial Intelligence 34 (10), 13881 …, 2020
2020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20