Journal: Theory Comput. Syst.

Volume 66, Issue 1

1 -- 37Reza Aghayan. Generating Visual Invariants -a New Approach to Invariant Recognition
38 -- 55Po-An Chen, Chi-Jen Lu, Yu-Sin Lu. An Alternating Algorithm for Finding Linear Arrow-Debreu Market Equilibria
56 -- 88Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay. Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators
89 -- 113Pradeesha Ashok, Sudeshna Kolay, Neeldhara Misra, Saket Saurabh 0001. Exact Multi-Covering Problems with Geometric Sets
114 -- 142Laxman Saha, Alamgir Rahaman Basunia, Satyabrata Das, Kalishankar Tiwary. Radio k-chromatic Number of Full m-ary Trees
143 -- 308Jin-yi Cai, Zhiguo Fu, Heng Guo 0001, Tyson Williams. FKT is Not Universal - A Planar Holant Dichotomy for Symmetric Constraints
309 -- 321Jiabao Lin. d
322 -- 353Péter Gács, Ilkka Törmä. Stable Multi-Level Monotonic Eroders
354 -- 394Chien-Chung Huang, Naonori Kakimura. Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization
395 -- 415Cristina Bazgan, Stefan Ruzika, Clemens Thielen, Daniel Vanderpooten. The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems