Results (29)

  • An O(n2) time algorithm for alternating Büchi games
    Conference paper
  • The complexity of conservative valued CSPs
    Conference paper