Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim, 1644, Automata, Languages and Programming, 1999, 179
Farid Ablayev, Marek Karpinski, 1099, Automata, Languages and Programming, 1996, 348
Mikoláš Janota, 11805, Progress in Artificial Intelligence, 2019, 501
Stasys Jukna, Stanislav Žák, 1963, SOFSEM 2000: Theory and Practice of Informatics, 2000, 356
Igor Razgon, 8894, Parameterized and Exact Computation, 2014, 319
Igor Razgon, “The splitting power of branching programs of bounded repetition and CNFs of bounded width”, Discrete Applied Mathematics, 360, 2025, 366
R. Ryan Williams, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025, 13