


default search action
Theoretical Computer Science, Volume 1049
Volume 1049, 2025
- Pradeesha Ashok, Sayani Das, Lawqueen Kanesh, Saket Saurabh, Avi Tomar, Shaily Verma:
Burn and win. 115357 - Frank Kammer
, Johannes Meintrup
, Andrej Sajenko
:
Sorting and ranking of self-delimiting numbers with applications to outerplanar graph isomorphism. 115358 - D. Karthika, R. Muthucumaraswamy, Sriram Bhyravarapu
, Satyabrata Jana, Saket Saurabh:
Further parameterized results on weak Grundy coloring. 115361 - Helena A. Verrill
:
L-systems for the boundaries of plane-filling folding curves. 115363 - Joseph S. B. Mitchell, Supantha Pandit
:
On some geometric optimization problems with segments. 115364 - Dibyayan Chakraborty
, Yann Vaxès:
Additive approximation algorithm for geodesic centers in δ-hyperbolic graphs. 115365 - Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He:
SAT-based bounded model checking for propositional projection temporal logic. 115368 - Yuxuan Xu, Yingli Ran, Zhao Zhang
:
A 1/2-approximation algorithm for maximum interval multi-cover. 115369 - Jing Yuan, Shaojie Tang:
Submodular participatory budgeting. 115370 - Jingyi Liu, Yixin Cao
, Ling Gai, Jianxin Wang:
Minimum sum vertex cover: Difficulty of ordering. 115371 - Tianyue Cao
, Zhao Jin, Bowen Zhang, Yongzhi Cao, Hanpin Wang:
Expressive completeness of separation logic in block-based cloud storage systems. 115372 - Andrzej Mizera
, Jakub Zarzycki:
pbn-STAC: Deep reinforcement learning-based framework for cellular reprogramming. 115382

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.