Results (16)

  • An O(n2) time algorithm for alternating Büchi games
    Conference paper
  • The complexity of conservative valued CSPs
    Conference paper
  • Hardness of embedding simplicial complexes in ℝd
    Conference paper