Publisher
Springer International Publishing
Reference78 articles.
1. Adler, I.: Directed tree-width examples. Journal of Combinatorial Theory, Series B 97(5), 718–725 (2007)
2. Albert, M.H., Grossman, J.P., Nowakowski, R.J., Wolfe, D.: An introduction to clobber. Integers 5(2) (2005)
3. Arnborg, S., Corneil, D.G., Proskurowski, A.: Complexity of finding embeddings in a k-tree. SIAM Journal on Algebraic Discrete Methods 8(2), 277–284 (1987)
4. Bartlett, K.A., Scantlebury, R.A., Wilkinson, P.T.: A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM 12(5), 260–261 (1969)
5. Beck, A., Bleicher, M.N., Crowe, D.W.: Excursions into Mathematics: The Millennium Edition. CRC Press (2000)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Matrix-Based Approach to Parity Games;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Scalable Energy Games Solvers on GPUs;IEEE Transactions on Parallel and Distributed Systems;2021-12-01
3. Improving parity games in practice;Annals of Mathematics and Artificial Intelligence;2021-01-23
4. Improving Parity Game Solvers with Justifications;Lecture Notes in Computer Science;2020
5. Cheap CTL Compassion in NuSMV;Lecture Notes in Computer Science;2020