Deciding the winner in parity games is in UP ∩ co-UP 论文
1998Information Processing Letters引用 380
Optimization and Search ProblemsLogic, Reasoning, and Knowledgesemigroups and automata theory
Deciding the winner in parity games is in UP ∩ co-UP · 相关文章
暂无数据