default search action
Theoretical Computer Science, Volume 774
Volume 774, June 2019
- Kejia Zhang, Qilong Han, Zhipeng Cai, Guisheng Yin, Junyu Lin:
DOAMI: A distributed on-line algorithm to minimize interference for routing in wireless sensor networks. 1-13 - Ahmad Mahmoody, Eli Upfal:
Optimizing static and adaptive probing schedules for rapid event detection. 14-30 - Wei Ding, Ke Qiu:
Approximating the restricted 1-center in graphs. 31-43 - Fei Huang, Xueliang Li, Zhongmei Qin, Colton Magnant:
Minimum degree condition for proper connection number 2. 44-50 - Yasushi Kawase, Xin Han, Kazuhisa Makino:
Proportional cost buyback problem with weight bounds. 51-64 - Cong Tian, Zhenhua Duan:
Model checking open systems with alternating projection temporal logic. 65-81 - Liang Zhao, Xiaobing Wang, Zhenhua Duan:
Model checking of pushdown systems for projection temporal logic. 82-94 - Yi Xu, Jigen Peng, Yinfeng Xu, Binhai Zhu:
The discrete and mixed minimax 2-center problems. 95-102 - Dongjing Miao, Xianmin Liu, Yingshu Li, Jianzhong Li:
Vertex cover in conflict graphs. 103-112 - Chao Xu, Jianer Chen, Jianxin Wang:
Resolution and linear CNF formulas: Improved (n, 3)-MaxSAT algorithms. 113-123 - Tadao Takaoka:
Algebraic theory on shortest paths for all flows. 124-132 - Bogdan Armaselu, Ovidiu Daescu:
Dynamic minimum bichromatic separating circle. 133-142 - Yicheng Xu, Dachuan Xu, Donglei Du, Chenchen Wu:
Improved approximation algorithm for universal facility location problem with linear penalties. 143-151
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.