재정 지원 요구사항을 통해 공개된 자료 - David E. Narváez자세히 알아보기
제공된 곳이 있음: 11
The resolution of Keller’s conjecture
J Brakensiek, M Heule, J Mackey, D Narváez
International Joint Conference on Automated Reasoning, 48-65, 2020
재정 지원 요구사항 정책: US National Science Foundation
The opacity of backbones
LA Hemaspaandra, DE Narváez
Thirty-First AAAI Conference on Artificial Intelligence, 2017
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
Existence versus exploitation: the opacity of backdoors and backbones
LA Hemaspaandra, DE Narváez
Progress in Artificial Intelligence 10 (3), 297-308, 2021
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
On Some Generalized Vertex Folkman Numbers
ZR Hassan, Y Jiang, DE Narváez, S Radziszowski, X Xu
arXiv preprint arXiv:2110.03121, 2021
재정 지원 요구사항 정책: US National Science Foundation, National Natural Science Foundation of China
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
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
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
재정 지원 요구사항 정책: US National Science Foundation
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.