Chen, Jianer; Chu, Zirui; Guo, Ying; Yang, Wei Space limited linear-time graph algorithms on big data. (English) Zbl 07819261 Theor. Comput. Sci. 993, Article ID 114468, 18 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Chen} et al., Theor. Comput. Sci. 993, Article ID 114468, 18 p. (2024; Zbl 07819261) Full Text: DOI
Brakensiek, Joshua; Davies, Sami Robust factorizations and colorings of tensor graphs. (English) Zbl 07818430 SIAM J. Discrete Math. 38, No. 1, 883-916 (2024). MSC: 05C70 05C76 05C15 05C85 05C60 68Q25 68R10 68W25 PDFBibTeX XMLCite \textit{J. Brakensiek} and \textit{S. Davies}, SIAM J. Discrete Math. 38, No. 1, 883--916 (2024; Zbl 07818430) Full Text: DOI arXiv
Dong, Yanni; Broersma, Hajo; Bai, Yuhang; Zhang, Shenggui The complexity of spanning tree problems involving graphical indices. (English) Zbl 07809932 Discrete Appl. Math. 347, 143-154 (2024). MSC: 05C05 05C09 68Q17 92E10 05C92 PDFBibTeX XMLCite \textit{Y. Dong} et al., Discrete Appl. Math. 347, 143--154 (2024; Zbl 07809932) Full Text: DOI
de Berg, Mark; Sadhukhan, Arpan; Spieksma, Frits Stable approximation algorithms for the dynamic broadcast range-assignment problem. (English) Zbl 07809681 SIAM J. Discrete Math. 38, No. 1, 790-827 (2024). MSC: 68Q25 68R01 68U05 52C99 PDFBibTeX XMLCite \textit{M. de Berg} et al., SIAM J. Discrete Math. 38, No. 1, 790--827 (2024; Zbl 07809681) Full Text: DOI arXiv
Hwang, Hsien-Kuei; Janson, Svante; Tsai, Tsung-Hsi Identities and periodic oscillations of divide-and-conquer recurrences splitting at half. (English) Zbl 07804842 Adv. Appl. Math. 155, Article ID 102653, 53 p. (2024). MSC: 11B37 39B12 68W40 PDFBibTeX XMLCite \textit{H.-K. Hwang} et al., Adv. Appl. Math. 155, Article ID 102653, 53 p. (2024; Zbl 07804842) Full Text: DOI arXiv
Bai, Yandong; Bang-Jensen, Jørgen; Fujita, Shinya; Ono, Hirotaka; Yeo, Anders Safe sets and in-dominating sets in digraphs. (English) Zbl 07804727 Discrete Appl. Math. 346, 215-227 (2024). MSC: 05C20 05C69 05C45 68Q25 68W05 PDFBibTeX XMLCite \textit{Y. Bai} et al., Discrete Appl. Math. 346, 215--227 (2024; Zbl 07804727) Full Text: DOI
Gurski, Frank; Rothe, Jörg; Weishaupt, Robin Stability, vertex stability, and unfrozenness for special graph classes. (English) Zbl 07802704 Theory Comput. Syst. 68, No. 1, 75-102 (2024). MSC: 05C75 05C70 68R10 PDFBibTeX XMLCite \textit{F. Gurski} et al., Theory Comput. Syst. 68, No. 1, 75--102 (2024; Zbl 07802704) Full Text: DOI OA License
He, Xiaoyu; Huang, Emily; Nam, Ihyun; Thaper, Rishubh Shuffle squares and reverse shuffle squares. (English) Zbl 07799830 Eur. J. Comb. 116, Article ID 103883, 17 p. (2024). MSC: 68Rxx 05Axx 68Qxx PDFBibTeX XMLCite \textit{X. He} et al., Eur. J. Comb. 116, Article ID 103883, 17 p. (2024; Zbl 07799830) Full Text: DOI arXiv
Singireddy, Vishwanath R.; Basappa, Manjanna Dispersing facilities on planar segment and circle amidst repulsion. (English) Zbl 07795434 J. Glob. Optim. 88, No. 1, 233-252 (2024). MSC: 68W25 90C39 68Q25 PDFBibTeX XMLCite \textit{V. R. Singireddy} and \textit{M. Basappa}, J. Glob. Optim. 88, No. 1, 233--252 (2024; Zbl 07795434) Full Text: DOI
Balakrishnan, Girish; Chakraborty, Sankardeep; Narayanaswamy, N. S.; Sadakane, Kunihiko Succinct data structure for path graphs. (English) Zbl 07790918 Inf. Comput. 296, Article ID 105124, 28 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Balakrishnan} et al., Inf. Comput. 296, Article ID 105124, 28 p. (2024; Zbl 07790918) Full Text: DOI arXiv
Baumann, Alexander; Kaplan, Haim; Klost, Katharina; Knorr, Kristin; Mulzer, Wolfgang; Roditty, Liam; Seiferth, Paul Dynamic connectivity in disk graphs. (English) Zbl 07785745 Discrete Comput. Geom. 71, No. 1, 214-277 (2024). MSC: 05C40 05C85 68R10 68P05 PDFBibTeX XMLCite \textit{A. Baumann} et al., Discrete Comput. Geom. 71, No. 1, 214--277 (2024; Zbl 07785745) Full Text: DOI arXiv OA License
Betti Sorbelli, Francesco; Navarra, Alfredo; Palazzetti, Lorenzo; Pinotti, Cristina M.; Prencipe, Giuseppe Wireless IoT sensors data collection reward maximization by leveraging multiple energy- and storage-constrained UAVs. (English) Zbl 07753725 J. Comput. Syst. Sci. 139, Article ID 103475, 17 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{F. Betti Sorbelli} et al., J. Comput. Syst. Sci. 139, Article ID 103475, 17 p. (2024; Zbl 07753725) Full Text: DOI
Alemany-Puig, Lluís; Esteban, Juan Luis; Ferrer-i-Cancho, Ramon The maximum linear arrangement problem for trees under projectivity and planarity. (English) Zbl 07749673 Inf. Process. Lett. 183, Article ID 106400, 8 p. (2024). MSC: 68R10 05C85 PDFBibTeX XMLCite \textit{L. Alemany-Puig} et al., Inf. Process. Lett. 183, Article ID 106400, 8 p. (2024; Zbl 07749673) Full Text: DOI arXiv
Kim, Dohan Equational theorem proving for clauses over strings. (English) Zbl 07810645 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49-66 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{D. Kim}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49--66 (2023; Zbl 07810645) Full Text: DOI arXiv
Whitley, Darrell; Ochoa, Gabriela; Chicano, Francisco Partition crossover can linearize local optima lattices of k-bounded pseudo-Boolean functions. (English) Zbl 07809173 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152-162 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{D. Whitley} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152--162 (2023; Zbl 07809173) Full Text: DOI
Acikalin, Utku Umur; Caskurlu, Bugra; Subramani, K. Security-aware database migration planning. (English) Zbl 07805097 Constraints 28, No. 3, 472-505 (2023). MSC: 90Cxx 68Wxx 68Qxx PDFBibTeX XMLCite \textit{U. U. Acikalin} et al., Constraints 28, No. 3, 472--505 (2023; Zbl 07805097) Full Text: DOI
Muñoz, Cesar A.; Ayala-Rincón, Mauricio; Moscato, Mariano M.; Dutle, Aaron M.; Narkawicz, Anthony J.; Almeida, Ariane Alves; da Silva, Andréia B. Avelar; Ramos, Thiago M. Ferreira Formal verification of termination criteria for first-order recursive functions. (English) Zbl 07800193 J. Autom. Reasoning 67, No. 4, Paper No. 40, 30 p. (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{C. A. Muñoz} et al., J. Autom. Reasoning 67, No. 4, Paper No. 40, 30 p. (2023; Zbl 07800193) Full Text: DOI
Mráz, František; Otto, Friedrich Non-returning deterministic and nondeterministic finite automata with translucent letters. (English) Zbl 07799054 RAIRO, Theor. Inform. Appl. 57, Paper No. 8, 35 p. (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{F. Mráz} and \textit{F. Otto}, RAIRO, Theor. Inform. Appl. 57, Paper No. 8, 35 p. (2023; Zbl 07799054) Full Text: DOI arXiv
Li, Shuguang; Li, Mingsong; Khan, Muhammad Ijaz Algorithms for two-agent unbounded serial-batch scheduling with makespan and maximum lateness objectives. (English) Zbl 07798676 Netw. Heterog. Media 18, No. 4, 1678-1691 (2023). MSC: 68M20 PDFBibTeX XMLCite \textit{S. Li} et al., Netw. Heterog. Media 18, No. 4, 1678--1691 (2023; Zbl 07798676) Full Text: DOI
Lee, Hung-Yeh; Liao, Hsuan-Yu; Hon, Wing-Kai Colored constrained spanning tree on directed graphs. (English) Zbl 07789728 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 561-573 (2023). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{H.-Y. Lee} et al., Lect. Notes Comput. Sci. 14079, 561--573 (2023; Zbl 07789728) Full Text: DOI
Chrobak, Marek; Young, Neal E. Classification via two-way comparisons (extended abstract). (English) Zbl 07789710 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 275-290 (2023). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{M. Chrobak} and \textit{N. E. Young}, Lect. Notes Comput. Sci. 14079, 275--290 (2023; Zbl 07789710) Full Text: DOI arXiv
Bose, Prosenjit; D’Angelo, Anthony; Durocher, Stephane Approximating the smallest \(k\)-enclosing geodesic disc in a simple polygon. (English) Zbl 07789704 Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 179-192 (2023). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{P. Bose} et al., Lect. Notes Comput. Sci. 14079, 179--192 (2023; Zbl 07789704) Full Text: DOI
Kammer, Frank; Meintrup, Johannes; Sajenko, Andrej Sorting and ranking of self-delimiting numbers with applications to tree isomorphism. (English) Zbl 07781749 Hsieh, Sun-Yuan (ed.) et al., Combinatorial algorithms. 34th international workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13889, 356-367 (2023). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{F. Kammer} et al., Lect. Notes Comput. Sci. 13889, 356--367 (2023; Zbl 07781749) Full Text: DOI arXiv
Hartmann, Tim A.; Muluk, Komal Make a graph singly connected by edge orientations. (English) Zbl 07781738 Hsieh, Sun-Yuan (ed.) et al., Combinatorial algorithms. 34th international workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13889, 221-232 (2023). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{T. A. Hartmann} and \textit{K. Muluk}, Lect. Notes Comput. Sci. 13889, 221--232 (2023; Zbl 07781738) Full Text: DOI arXiv
Dumitrescu, Adrian; Lingas, Andrzej Finding small complete subgraphs efficiently. (English) Zbl 07781735 Hsieh, Sun-Yuan (ed.) et al., Combinatorial algorithms. 34th international workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13889, 185-196 (2023). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{A. Dumitrescu} and \textit{A. Lingas}, Lect. Notes Comput. Sci. 13889, 185--196 (2023; Zbl 07781735) Full Text: DOI arXiv
Ardévol Martínez, Virginia; Rizzi, Romeo; Sikora, Florian Hardness of Balanced Mobiles. (English) Zbl 07781722 Hsieh, Sun-Yuan (ed.) et al., Combinatorial algorithms. 34th international workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13889, 25-35 (2023). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{V. Ardévol Martínez} et al., Lect. Notes Comput. Sci. 13889, 25--35 (2023; Zbl 07781722) Full Text: DOI
Athanassoulis, Manos; Idreos, Stratos; Shasha, Dennis Data structures for data-intensive applications: tradeoffs and design guidelines. (English) Zbl 07780434 Found. Trends Databases 13, No. 1-2, 1-168 (2023). MSC: 68P05 68-02 PDFBibTeX XMLCite \textit{M. Athanassoulis} et al., Found. Trends Databases 13, No. 1--2, 1--168 (2023; Zbl 07780434) Full Text: DOI
Benkoczi, Robert; Lijoka, Oluwaseun F. Capacity provisioning for evacuation on path networks. (English) Zbl 07780103 Networks 81, No. 1, 75-92 (2023). MSC: 90B06 90B80 90B10 68Q25 90C47 PDFBibTeX XMLCite \textit{R. Benkoczi} and \textit{O. F. Lijoka}, Networks 81, No. 1, 75--92 (2023; Zbl 07780103) Full Text: DOI
Madera-Ramírez, Francisco; Trejo-Sánchez, Joel Antonio; López-Martínez, José; Ríos-Martínez, Jorge Crossing edge minimization in radial outerplanar layered graphs using segment paths. (English) Zbl 07775236 Optim. Methods Softw. 38, No. 6, 1142-1162 (2023). MSC: 68-XX 05-XX PDFBibTeX XMLCite \textit{F. Madera-Ramírez} et al., Optim. Methods Softw. 38, No. 6, 1142--1162 (2023; Zbl 07775236) Full Text: DOI
Ardévol Martínez, Virginia; Sikora, Florian; Vialette, Stéphane Parity permutation pattern matching. (English) Zbl 07770307 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 384-395 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{V. Ardévol Martínez} et al., Lect. Notes Comput. Sci. 13973, 384--395 (2023; Zbl 07770307) Full Text: DOI
Kawahara, Jun; Saitoh, Toshiki; Takeda, Hirokazu; Yoshinaka, Ryo; Yoshioka, Yui Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs. (English) Zbl 07770289 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 151-163 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{J. Kawahara} et al., Lect. Notes Comput. Sci. 13973, 151--163 (2023; Zbl 07770289) Full Text: DOI arXiv
Abu-Affash, A. Karim; Carmi, Paz; Maman, Meytal Piercing diametral disks induced by edges of maximum spanning trees. (English) Zbl 07770282 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 71-77 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{A. K. Abu-Affash} et al., Lect. Notes Comput. Sci. 13973, 71--77 (2023; Zbl 07770282) Full Text: DOI arXiv
Araki, Tetsuya; Nakano, Shin-ichi Away from each other. (English) Zbl 07770281 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 61-70 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{T. Araki} and \textit{S.-i. Nakano}, Lect. Notes Comput. Sci. 13973, 61--70 (2023; Zbl 07770281) Full Text: DOI
Hoffmann, Stefan State complexity of permutation and the language inclusion problem up to Parikh equivalence on alphabetical pattern constraints and partially ordered NFAs. (English) Zbl 07770237 Int. J. Found. Comput. Sci. 34, No. 8, 959-986 (2023). MSC: 68Qxx 20Mxx 68-XX PDFBibTeX XMLCite \textit{S. Hoffmann}, Int. J. Found. Comput. Sci. 34, No. 8, 959--986 (2023; Zbl 07770237) Full Text: DOI
Hunter, Ethan; Enright, Jessica; Miller, Alice Feasibility assessments of a dynamical approach to compartmental modelling on graphs: scaling limits and performance analysis. (English) Zbl 07767581 Theor. Comput. Sci. 980, Article ID 114247, 19 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Hunter} et al., Theor. Comput. Sci. 980, Article ID 114247, 19 p. (2023; Zbl 07767581) Full Text: DOI
Panda, B. S.; Goyal, Pooja Hardness results of global Roman domination in graphs. (English) Zbl 1526.05110 Discrete Appl. Math. 341, 337-348 (2023). Reviewer: Saeid Alikhani (Yazd) MSC: 05C69 68W05 68Q17 PDFBibTeX XMLCite \textit{B. S. Panda} and \textit{P. Goyal}, Discrete Appl. Math. 341, 337--348 (2023; Zbl 1526.05110) Full Text: DOI
Islam, Md Nazrul; Poteaux, Adrien; Prébet, Rémi Algorithm for connectivity queries on real algebraic curves. (English) Zbl 07760779 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 345-353 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{M. N. Islam} et al., in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 345--353 (2023; Zbl 07760779) Full Text: DOI arXiv
Mattes, Caroline; Weiß, Armin Parallel algorithms for power circuits and the word problem of the Baumslag group. (English) Zbl 1525.20028 Comput. Complexity 32, No. 2, Paper No. 10, 76 p. (2023). MSC: 20F10 20-08 68Q25 20F05 PDFBibTeX XMLCite \textit{C. Mattes} and \textit{A. Weiß}, Comput. Complexity 32, No. 2, Paper No. 10, 76 p. (2023; Zbl 1525.20028) Full Text: DOI OA License
Karia, Neel; Mallick, Faraaz; Dey, Palash How hard is safe bribery? (English) Zbl 07755508 Theor. Comput. Sci. 979, Article ID 114156, 23 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Karia} et al., Theor. Comput. Sci. 979, Article ID 114156, 23 p. (2023; Zbl 07755508) Full Text: DOI arXiv
Bose, Prosenjit; Cardinal, Jean; Iacono, John; Koumoutsos, Grigorios; Langerman, Stefan Competitive online search trees on trees. (English) Zbl 07753176 ACM Trans. Algorithms 19, No. 3, Paper No. 25, 19 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{P. Bose} et al., ACM Trans. Algorithms 19, No. 3, Paper No. 25, 19 p. (2023; Zbl 07753176) Full Text: DOI
Bondar, Eugenija A.; Casas, David; Volkov, Mikhail V. Completely reachable automata: an interplay between automata, graphs, and trees. (English) Zbl 07749893 Int. J. Found. Comput. Sci. 34, No. 6, 655-690 (2023). MSC: 68Qxx 20Mxx 05Cxx PDFBibTeX XMLCite \textit{E. A. Bondar} et al., Int. J. Found. Comput. Sci. 34, No. 6, 655--690 (2023; Zbl 07749893) Full Text: DOI arXiv
Fernau, Henning; Foucaud, Florent; Mann, Kevin; Padariya, Utkarsh; Rao, K. N. Rajath Parameterizing path partitions. (English) Zbl 07745707 Mavronicolas, Marios (ed.), Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13898, 187-201 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{H. Fernau} et al., Lect. Notes Comput. Sci. 13898, 187--201 (2023; Zbl 07745707) Full Text: DOI arXiv
Sheu, Wen-Horng; Wang, Biing-Feng Parameterized complexity for finding a perfect phylogeny from mixed tumor samples. (English) Zbl 1522.92042 SIAM J. Discrete Math. 37, No. 3, 2049-2071 (2023). MSC: 92D15 05C90 68Q27 PDFBibTeX XMLCite \textit{W.-H. Sheu} and \textit{B.-F. Wang}, SIAM J. Discrete Math. 37, No. 3, 2049--2071 (2023; Zbl 1522.92042) Full Text: DOI
Fleiner, Tamás; Jankó, Zsuzsanna; Schlotter, Ildikó; Teytelboym, Alexander Complexity of stability in trading networks. (English) Zbl 1522.91159 Int. J. Game Theory 52, No. 3, 629-648 (2023). MSC: 91B60 91B68 68Q17 PDFBibTeX XMLCite \textit{T. Fleiner} et al., Int. J. Game Theory 52, No. 3, 629--648 (2023; Zbl 1522.91159) Full Text: DOI arXiv
Asahiro, Yuichi; Eto, Hiroshi; Hanaka, Tesshu; Lin, Guohui; Miyano, Eiji; Terabaru, Ippei Corrigendum to: “Complexity and approximability of the happy set problem”. (English) Zbl 07741109 Theor. Comput. Sci. 975, Article ID 114114, 7 p. (2023). MSC: 68R10 68Q17 68Q25 68W25 PDFBibTeX XMLCite \textit{Y. Asahiro} et al., Theor. Comput. Sci. 975, Article ID 114114, 7 p. (2023; Zbl 07741109) Full Text: DOI
Asano, Tetsuo Transportation problem allowing sending and bringing back. (English) Zbl 07729636 Int. J. Found. Comput. Sci. 34, No. 5, 487-505 (2023). MSC: 68R10 90C05 90C39 05C99 PDFBibTeX XMLCite \textit{T. Asano}, Int. J. Found. Comput. Sci. 34, No. 5, 487--505 (2023; Zbl 07729636) Full Text: DOI
Subramani, K.; Wojciechowski, P. Unit read-once refutations for systems of difference constraints. (English) Zbl 07729121 Theory Comput. Syst. 67, No. 4, 877-899 (2023). MSC: 68Qxx 68Wxx PDFBibTeX XMLCite \textit{K. Subramani} and \textit{P. Wojciechowski}, Theory Comput. Syst. 67, No. 4, 877--899 (2023; Zbl 07729121) Full Text: DOI
Singireddy, Vishwanath R.; Basappa, Manjanna; Mitchell, Joseph S. B. Algorithms for \(k\)-dispersion for points in convex position in the plane. (English) Zbl 07728653 Bagchi, Amitabha (ed.) et al., Algorithms and discrete applied mathematics. 9th international conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13947, 59-70 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{V. R. Singireddy} et al., Lect. Notes Comput. Sci. 13947, 59--70 (2023; Zbl 07728653) Full Text: DOI
Didimo, Walter; Kaufmann, Michael; Liotta, Giuseppe; Ortali, Giacomo Rectilinear planarity of partial 2-trees. (English) Zbl 07727759 Angelini, Patrizio (ed.) et al., Graph drawing and network visualization. 30th international symposium, GD 2022, Tokyo, Japan, September 13–16, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13764, 157-172 (2023). MSC: 68R10 68U05 PDFBibTeX XMLCite \textit{W. Didimo} et al., Lect. Notes Comput. Sci. 13764, 157--172 (2023; Zbl 07727759) Full Text: DOI arXiv
Merad, Ibrahim; Gaïffas, Stéphane Robust supervised learning with coordinate gradient descent. (English) Zbl 1517.62038 Stat. Comput. 33, No. 5, Paper No. 116, 39 p. (2023). MSC: 62-08 62F35 68T05 PDFBibTeX XMLCite \textit{I. Merad} and \textit{S. Gaïffas}, Stat. Comput. 33, No. 5, Paper No. 116, 39 p. (2023; Zbl 1517.62038) Full Text: DOI arXiv
Bournez, Olivier; Durand, Arnaud A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations. (English) Zbl 07727625 Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023). MSC: 03D15 03D20 68Q01 68Q15 65Q10 65L99 PDFBibTeX XMLCite \textit{O. Bournez} and \textit{A. Durand}, Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023; Zbl 07727625) Full Text: DOI arXiv
Wojciechowski, Piotr; Subramani, K. A faster algorithm for determining the linear feasibility of systems of BTVPI constraints. (English) Zbl 1528.90158 Gąsieniec, Leszek (ed.), SOFSEM 2023: theory and practice of computer science. 48th international conference on current trends in theory and practice of computer science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13878, 313-327 (2023). MSC: 90C10 68W40 PDFBibTeX XMLCite \textit{P. Wojciechowski} and \textit{K. Subramani}, Lect. Notes Comput. Sci. 13878, 313--327 (2023; Zbl 1528.90158) Full Text: DOI
Davidson, Ian; Bai, Zilong; Tran, Cindy Mylinh; Ravi, S. S. Making clusterings fairer by post-processing: algorithms, complexity results and experiments. (English) Zbl 07724976 Data Min. Knowl. Discov. 37, No. 4, 1404-1440 (2023). MSC: 65Y20 62H30 68Q25 PDFBibTeX XMLCite \textit{I. Davidson} et al., Data Min. Knowl. Discov. 37, No. 4, 1404--1440 (2023; Zbl 07724976) Full Text: DOI
Chen, Jianer; Chu, Zirui; Guo, Ying; Yang, Wei Space limited graph algorithms on big data. (English) Zbl 07724750 Zhang, Yong (ed.) et al., Computing and combinatorics. 28th international conference, COCOON 2022, Shenzhen, China, October 22–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13595, 255-267 (2023). MSC: 68Rxx PDFBibTeX XMLCite \textit{J. Chen} et al., Lect. Notes Comput. Sci. 13595, 255--267 (2023; Zbl 07724750) Full Text: DOI
Reem, Daniel The projector algorithm: a simple parallel algorithm for computing Voronoi diagrams and Delaunay graphs. (English) Zbl 07723913 Theor. Comput. Sci. 970, Article ID 114054, 38 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Reem}, Theor. Comput. Sci. 970, Article ID 114054, 38 p. (2023; Zbl 07723913) Full Text: DOI arXiv
Kan, Yi-Kai; Kärtner, Franz X.; Le Borne, Sabine; Zemke, Jens-Peter M. A GPU-parallelized interpolation-based fast multipole method for the relativistic space-charge field calculation. (English) Zbl 07723496 Comput. Phys. Commun. 291, Article ID 108825, 18 p. (2023). MSC: 78-XX 68-XX PDFBibTeX XMLCite \textit{Y.-K. Kan} et al., Comput. Phys. Commun. 291, Article ID 108825, 18 p. (2023; Zbl 07723496) Full Text: DOI arXiv
Zhou, Yi; Hu, Shan; Sheng, Zimo Extracting densest sub-hypergraph with convex edge-weight functions. (English) Zbl 07722850 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 305-321 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Zhou} et al., Lect. Notes Comput. Sci. 13571, 305--321 (2023; Zbl 07722850) Full Text: DOI arXiv
Subramani, K.; Wojciechowski, Piotr On the parallel complexity of constrained read-once refutations in UTVPI constraint systems. (English) Zbl 07722849 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 293-304 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Subramani} and \textit{P. Wojciechowski}, Lect. Notes Comput. Sci. 13571, 293--304 (2023; Zbl 07722849) Full Text: DOI
Tan, Xuehou; Chen, Rong Largest convex hulls for constant size, convex-hull disjoint clusters. (English) Zbl 07722837 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 128-139 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{X. Tan} and \textit{R. Chen}, Lect. Notes Comput. Sci. 13571, 128--139 (2023; Zbl 07722837) Full Text: DOI
Nakano, Shin-ichi The coverage problem by aligned disks. (English) Zbl 07715068 Int. J. Comput. Geom. Appl. 33, No. 1-2, 13-23 (2023). MSC: 68U05 PDFBibTeX XMLCite \textit{S.-i. Nakano}, Int. J. Comput. Geom. Appl. 33, No. 1--2, 13--23 (2023; Zbl 07715068) Full Text: DOI
Hunsberger, Luke; Posenato, Roberto A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. (English) Zbl 07713427 Inf. Comput. 293, Article ID 105063, 21 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Hunsberger} and \textit{R. Posenato}, Inf. Comput. 293, Article ID 105063, 21 p. (2023; Zbl 07713427) Full Text: DOI
Zhang, Zeying; Yu, Zhi-Ming; Liu, Gui-Bin; Li, Zhenye; Yang, Shengyuan A.; Yao, Yugui MagneticKP: a package for quickly constructing \(\boldsymbol{k}\cdot\boldsymbol{p}\) models of magnetic and non-magnetic crystals. (English) Zbl 07711533 Comput. Phys. Commun. 290, Article ID 108784, 7 p. (2023). MSC: 82D25 70H05 68R10 82D20 PDFBibTeX XMLCite \textit{Z. Zhang} et al., Comput. Phys. Commun. 290, Article ID 108784, 7 p. (2023; Zbl 07711533) Full Text: DOI arXiv
Aldous, David Exploring endless space. (English) Zbl 07708221 Coll. Math. J. 54, No. 3, 179-185 (2023). MSC: 91-XX 68-XX PDFBibTeX XMLCite \textit{D. Aldous}, Coll. Math. J. 54, No. 3, 179--185 (2023; Zbl 07708221) Full Text: DOI
Gomes, Guilherme C. M.; Guedes, Matheus R.; dos Santos, Vinicius F. Structural parameterizations for equitable coloring: complexity, FPT algorithms, and kernelization. (English) Zbl 07704065 Algorithmica 85, No. 7, 1912-1947 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{G. C. M. Gomes} et al., Algorithmica 85, No. 7, 1912--1947 (2023; Zbl 07704065) Full Text: DOI
Gärttner, Stephan; Alpak, Faruk O.; Meier, Andreas; Ray, Nadja; Frank, Florian Estimating permeability of 3D micro-CT images by physics-informed CNNs based on DNS. (English) Zbl 1514.86001 Comput. Geosci. 27, No. 2, 245-262 (2023). MSC: 86-08 68T07 76S05 PDFBibTeX XMLCite \textit{S. Gärttner} et al., Comput. Geosci. 27, No. 2, 245--262 (2023; Zbl 1514.86001) Full Text: DOI arXiv
Bonerath, Annika; Haunert, Jan-Henrik; Mitchell, Joseph S. B.; Niedermann, Benjamin Shortcut hulls: vertex-restricted outer simplifications of polygons. (English) Zbl 1524.68401 Comput. Geom. 112, Article ID 101983, 17 p. (2023). MSC: 68U05 52B55 PDFBibTeX XMLCite \textit{A. Bonerath} et al., Comput. Geom. 112, Article ID 101983, 17 p. (2023; Zbl 1524.68401) Full Text: DOI arXiv
Liu, Kwei-guu; Yahiro, Kentaro; Yokoo, Makoto Strategyproof mechanism for two-sided matching with resource allocation. (English) Zbl 07697289 Artif. Intell. 316, Article ID 103855, 22 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{K.-g. Liu} et al., Artif. Intell. 316, Article ID 103855, 22 p. (2023; Zbl 07697289) Full Text: DOI
Jain, Sanjay; Jia, Xiaodong; Sabili, Ammar Fathin; Stephan, Frank Addition machines, automatic functions and open problems of Floyd and Knuth. (English) Zbl 07695013 J. Comput. Syst. Sci. 136, 135-156 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{S. Jain} et al., J. Comput. Syst. Sci. 136, 135--156 (2023; Zbl 07695013) Full Text: DOI arXiv
Mi, Liang; Sheikholeslami, Azadeh; Bento, José A family of pairwise multi-marginal optimal transports that define a generalized metric. (English) Zbl 07694488 Mach. Learn. 112, No. 1, 353-384 (2023). MSC: 68T05 PDFBibTeX XMLCite \textit{L. Mi} et al., Mach. Learn. 112, No. 1, 353--384 (2023; Zbl 07694488) Full Text: DOI arXiv
Kumar, Manjay; Venkata Subba Reddy, P. Vertex-edge Roman domination in graphs: complexity and algorithms. (English) Zbl 1524.05218 Commun. Comb. Optim. 8, No. 1, 23-37 (2023). MSC: 05C69 68Q25 90C05 90C10 68Q17 PDFBibTeX XMLCite \textit{M. Kumar} and \textit{P. Venkata Subba Reddy}, Commun. Comb. Optim. 8, No. 1, 23--37 (2023; Zbl 1524.05218) Full Text: DOI
Bannai, Hideo; I, Tomohiro; Köppl, Dominik Longest bordered and periodic subsequences. (English) Zbl 07691957 Inf. Process. Lett. 182, Article ID 106398, 6 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{H. Bannai} et al., Inf. Process. Lett. 182, Article ID 106398, 6 p. (2023; Zbl 07691957) Full Text: DOI
Manurangsi, Pasin; Segal-Halevi, Erel; Suksompong, Warut On maximum bipartite matching with separation. (English) Zbl 07691947 Inf. Process. Lett. 182, Article ID 106388, 6 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Manurangsi} et al., Inf. Process. Lett. 182, Article ID 106388, 6 p. (2023; Zbl 07691947) Full Text: DOI arXiv
Cifuentes, Santiago; Soulignac, Francisco J.; Terlisky, Pablo Complexity of solving a system of difference constraints with variables restricted to a finite set. (English) Zbl 07691937 Inf. Process. Lett. 182, Article ID 106378, 3 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Cifuentes} et al., Inf. Process. Lett. 182, Article ID 106378, 3 p. (2023; Zbl 07691937) Full Text: DOI arXiv
Khadiev, K.; Safina, L. Quantum algorithm for dynamic programming approach for DAGs and applications. (English) Zbl 07688853 Lobachevskii J. Math. 44, No. 2, 699-712 (2023). MSC: 68Qxx 81Pxx 05Cxx PDFBibTeX XMLCite \textit{K. Khadiev} and \textit{L. Safina}, Lobachevskii J. Math. 44, No. 2, 699--712 (2023; Zbl 07688853) Full Text: DOI arXiv
Kumar, R. Mahendra; Sadagopan, N. Some results on connected vertex separators. (English) Zbl 1510.05250 J. Anal. 31, No. 2, 1287-1302 (2023). MSC: 05C75 68Q25 PDFBibTeX XMLCite \textit{R. M. Kumar} and \textit{N. Sadagopan}, J. Anal. 31, No. 2, 1287--1302 (2023; Zbl 1510.05250) Full Text: DOI
Gawrychowski, Paweł; Kociumaka, Tomasz; Rytter, Wojciech; Waleń, Tomasz Tight bound for the number of distinct palindromes in a tree. (English) Zbl 1523.68050 Electron. J. Comb. 30, No. 2, Research Paper P2.10, 18 p. (2023). MSC: 68R15 05C05 68W32 PDFBibTeX XMLCite \textit{P. Gawrychowski} et al., Electron. J. Comb. 30, No. 2, Research Paper P2.10, 18 p. (2023; Zbl 1523.68050) Full Text: DOI arXiv
Chiarelli, Nina; Krnc, Matjaž; Milanič, Martin; Pferschy, Ulrich; Pivač, Nevena; Schauer, Joachim Fair allocation of indivisible items with conflict graphs. (English) Zbl 07680781 Algorithmica 85, No. 5, 1459-1489 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{N. Chiarelli} et al., Algorithmica 85, No. 5, 1459--1489 (2023; Zbl 07680781) Full Text: DOI arXiv
Le Gall, François; Seddighin, Saeed Quantum meets fine-grained complexity: sublinear time quantum algorithms for string problems. (English) Zbl 07680776 Algorithmica 85, No. 5, 1251-1286 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{F. Le Gall} and \textit{S. Seddighin}, Algorithmica 85, No. 5, 1251--1286 (2023; Zbl 07680776) Full Text: DOI arXiv
Bhore, Sujoy; Da Lozzo, Giordano; Montecchiani, Fabrizio; Nöllenburg, Martin On the upward book thickness problem: combinatorial and complexity results. (English) Zbl 1512.05302 Eur. J. Comb. 110, Article ID 103662, 23 p. (2023). MSC: 05C62 68R10 68Q25 PDFBibTeX XMLCite \textit{S. Bhore} et al., Eur. J. Comb. 110, Article ID 103662, 23 p. (2023; Zbl 1512.05302) Full Text: DOI
Bae, Sang Won; Yoon, Sang Duk Empty squares in arbitrary orientation among points. (English) Zbl 07677076 Algorithmica 85, No. 1, 29-74 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{S. W. Bae} and \textit{S. D. Yoon}, Algorithmica 85, No. 1, 29--74 (2023; Zbl 07677076) Full Text: DOI arXiv
Faro, Simone; Scafiti, Stefano Compact suffix automata representations for searching long patterns. (English) Zbl 07676485 Theor. Comput. Sci. 940, 254-268 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Faro} and \textit{S. Scafiti}, Theor. Comput. Sci. 940, 254--268 (2023; Zbl 07676485) Full Text: DOI
Goyal, Dishant; Jaiswal, Ragesh Tight FPT approximation for constrained \(k\)-center and \(k\)-supplier. (English) Zbl 07676480 Theor. Comput. Sci. 940, 190-208 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Goyal} and \textit{R. Jaiswal}, Theor. Comput. Sci. 940, 190--208 (2023; Zbl 07676480) Full Text: DOI arXiv
Forster, Sebastian; de Vos, Tijn Faster cut sparsification of weighted graphs. (English) Zbl 07673390 Algorithmica 85, No. 4, 929-964 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{S. Forster} and \textit{T. de Vos}, Algorithmica 85, No. 4, 929--964 (2023; Zbl 07673390) Full Text: DOI arXiv
Kashyop, Manas Jyoti; Narayanaswamy, N. S.; Nasre, Meghana; Potluri, Sai Mohith Trade-offs in dynamic coloring for bipartite and general graphs. (English) Zbl 07673387 Algorithmica 85, No. 4, 854-878 (2023). MSC: 68Wxx 05Cxx PDFBibTeX XMLCite \textit{M. J. Kashyop} et al., Algorithmica 85, No. 4, 854--878 (2023; Zbl 07673387) Full Text: DOI arXiv
Chen, Benjamin; Cho, Michael; Tutuncu-Macias, Mario; Tzolov, Tony Efficient methods of calculating the number of heapable permutations. (English) Zbl 07669161 Discrete Appl. Math. 331, 126-137 (2023). MSC: 68R05 68Wxx 60Cxx PDFBibTeX XMLCite \textit{B. Chen} et al., Discrete Appl. Math. 331, 126--137 (2023; Zbl 07669161) Full Text: DOI
Mohanapriya, A.; Renjith, P.; Sadagopan, N. Domination and its variants in split graphs \(-\text{P}\) versus NPC dichotomy. (English) Zbl 1507.05092 J. Anal. 31, No. 1, 353-364 (2023). MSC: 05C85 68R10 68W40 68Q25 68Q17 PDFBibTeX XMLCite \textit{A. Mohanapriya} et al., J. Anal. 31, No. 1, 353--364 (2023; Zbl 1507.05092) Full Text: DOI
Fischer, Orr; Oshman, Rotem A distributed algorithm for directed minimum-weight spanning tree. (English) Zbl 07662948 Distrib. Comput. 36, No. 1, 57-87 (2023). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{O. Fischer} and \textit{R. Oshman}, Distrib. Comput. 36, No. 1, 57--87 (2023; Zbl 07662948) Full Text: DOI
Branson, Luke; Sutton, Andrew M. Focused jump-and-repair constraint handling for fixed-parameter tractable graph problems closed under induced subgraphs. (English) Zbl 1506.68188 Theor. Comput. Sci. 951, Article ID 113719, 23 p. (2023). MSC: 68W50 68Q27 68R10 90C27 PDFBibTeX XMLCite \textit{L. Branson} and \textit{A. M. Sutton}, Theor. Comput. Sci. 951, Article ID 113719, 23 p. (2023; Zbl 1506.68188) Full Text: DOI
Subramani, K.; Wojciechowski, Piotr Integer feasibility and refutations in UTVPI constraints using bit-scaling. (English) Zbl 1507.68220 Algorithmica 85, No. 2, 610-637 (2023). MSC: 68R05 68W05 68W40 90C10 PDFBibTeX XMLCite \textit{K. Subramani} and \textit{P. Wojciechowski}, Algorithmica 85, No. 2, 610--637 (2023; Zbl 1507.68220) Full Text: DOI
Li, Shuguang; Geng, Zhichao Bicriteria scheduling on an unbounded parallel-batch machine for minimizing makespan and maximum cost. (English) Zbl 07647066 Inf. Process. Lett. 180, Article ID 106343, 6 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Li} and \textit{Z. Geng}, Inf. Process. Lett. 180, Article ID 106343, 6 p. (2023; Zbl 07647066) Full Text: DOI
Aronov, Boris; Ezra, Esther; Sharir, Micha; Zigdon, Guy Time and space efficient collinearity indexing. (English) Zbl 07639688 Comput. Geom. 110, Article ID 101963, 6 p. (2023). MSC: 68Wxx 68Qxx 68Uxx PDFBibTeX XMLCite \textit{B. Aronov} et al., Comput. Geom. 110, Article ID 101963, 6 p. (2023; Zbl 07639688) Full Text: DOI
Davis, Andrew D.; Giannakis, Dimitrios Graph-theoretic algorithms for Kolmogorov operators: approximating solutions and their gradients in elliptic and parabolic problems on manifolds. (English) Zbl 1514.62372 Calcolo 60, No. 1, Paper No. 5, 32 p. (2023). MSC: 62R30 62G07 05C50 62-08 68T05 PDFBibTeX XMLCite \textit{A. D. Davis} and \textit{D. Giannakis}, Calcolo 60, No. 1, Paper No. 5, 32 p. (2023; Zbl 1514.62372) Full Text: DOI arXiv
Ravelo, Santiago Valdés; Fernandes, Cristina G. Complexity and approximability of minimum path-collection exact covers. (English) Zbl 07635991 Theor. Comput. Sci. 942, 21-32 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. V. Ravelo} and \textit{C. G. Fernandes}, Theor. Comput. Sci. 942, 21--32 (2023; Zbl 07635991) Full Text: DOI
Lu, Yu-Ming; Lyuu, Yuh-Dauh Very fast algorithms for implied barriers and moving-barrier options pricing. (English) Zbl 07627995 Math. Comput. Simul. 205, 251-271 (2023). MSC: 91-XX 68-XX PDFBibTeX XMLCite \textit{Y.-M. Lu} and \textit{Y.-D. Lyuu}, Math. Comput. Simul. 205, 251--271 (2023; Zbl 07627995) Full Text: DOI
Giorgi, Pascal; Grenet, Bruno; Perret du Cray, Armelle Polynomial modular product verification and its implications. (English) Zbl 07621047 J. Symb. Comput. 116, 98-129 (2023). MSC: 68Wxx 68Qxx 12Yxx PDFBibTeX XMLCite \textit{P. Giorgi} et al., J. Symb. Comput. 116, 98--129 (2023; Zbl 07621047) Full Text: DOI arXiv
Minamisawa, Ko; Uehara, Ryuhei; Hara, Masao Mathematical characterizations and computational complexity of anti-slide puzzles. (English) Zbl 1498.68359 Theor. Comput. Sci. 939, 216-226 (2023). MSC: 68U05 05B50 52B55 68Q25 PDFBibTeX XMLCite \textit{K. Minamisawa} et al., Theor. Comput. Sci. 939, 216--226 (2023; Zbl 1498.68359) Full Text: DOI
Chakraborty, Sankardeep; Grossi, Roberto; Sadakane, Kunihiko; Satti, Srinivasa Rao Succinct representation for (non)deterministic finite automata. (English) Zbl 1497.68254 J. Comput. Syst. Sci. 131, 1-12 (2023). MSC: 68Q45 68P05 68Q25 PDFBibTeX XMLCite \textit{S. Chakraborty} et al., J. Comput. Syst. Sci. 131, 1--12 (2023; Zbl 1497.68254) Full Text: DOI
Wan, Xiaolong; Wang, Hongzhi Efficient semi-external depth-first search. (English) Zbl 07810833 Inf. Sci. 599, 170-191 (2022). MSC: 68-XX 05-XX PDFBibTeX XMLCite \textit{X. Wan} and \textit{H. Wang}, Inf. Sci. 599, 170--191 (2022; Zbl 07810833) Full Text: DOI arXiv
Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid k-inductive barrier certificates for stochastic systems. (English) Zbl 07807720 Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022). MSC: 68Q45 68Q60 93C30 PDFBibTeX XMLCite \textit{M. Anand} et al., in: Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4--6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 11 p. (2022; Zbl 07807720) Full Text: DOI
Glück, Robert; Yokoyama, Tetsuo Reversible programming: a case study of two string-matching algorithms. (English) Zbl 07806139 Hamilton, Geoffrey W. (ed.) et al., Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 1-13 (2022). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{R. Glück} and \textit{T. Yokoyama}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 1--13 (2022; Zbl 07806139) Full Text: arXiv Link