David E. Narváez
3 papers · 2019–2021 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge · Silver
🚀
Conference Pioneer
Venues
Research topics
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)