David E. Narv\'aez
Identifiers
No identifiers captured yet.
Papers (4)
- Very Hard Electoral Control Problems cs.GT · 2018 · author #4
- Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems cs.AI · 2017 · author #1
- Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption cs.AI · 2017 · author #2
- The Opacity of Backbones cs.AI · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Lane A. Hemaspaandra 2 shared papers
- Alexander Hoover 1 shared papers
- Edith Hemaspaandra 1 shared papers
- Zack Fitzsimmons 1 shared papers