David E. Narváez
3 papers
· 2019–2021
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🚀
Conference Pioneer
Conferences
AAAI (3)
Keywords
quantified boolean formula
(2)
formal verification
(1)
answer set programming
(1)
symmetry breaking
(1)
polynomial hierarchy
(1)
electoral control
(1)
election system
(1)
kemeny voting
(1)
pspace completeness
(1)
np complexity
(1)
nondeterministic finite automaton
(1)
automaton equivalence
(1)
kemey election
(1)
kemeny election
(1)
automata equivalence
(1)
computational complexity
(1)
quantified satisfiability
(1)