pith. sign in

Wolfgang Dvo\v{r}\'ak

Identifiers

  • name variant Wolfgang Dvo\v{r}\'ak 0.60 · backfill

Papers (10)

  1. Algorithms and Conditional Lower Bounds for Planning Problems cs.DS · 2018 · author #2
  2. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter cs.DS · 2017 · author #2
  3. Improved Set-based Symbolic Algorithms for Parity Games cs.DS · 2017 · author #2
  4. Maximizing a Submodular Function with Viability Constraints cs.DS · 2016 · author #1
  5. Conditionally Optimal Algorithms for Generalized B\"uchi Games cs.DS · 2016 · author #2
  6. Online Ad Assignment with an Ad Exchange cs.DS · 2016 · author #1
  7. Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction cs.DS · 2016 · author #2
  8. Technical Note: Exploring \Sigma^P_2 / \Pi^P_2-hardness for Argumentation Problems with fixed distance to tractable classes cs.AI · 2012 · author #1
  9. Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems cs.AI · 2011 · author #1
  10. dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation cs.AI · 2011 · author #1

Mentions

  • 1201.0478 #1 · backfill · confidence 0.70 Wolfgang Dvo\v{r}\'ak
  • 1108.4942 #1 · backfill · confidence 0.70 Wolfgang Dvo\v{r}\'ak
  • 1108.4804 #1 · backfill · confidence 0.70 Wolfgang Dvo\v{r}\'ak

Frequent Coauthors