Volume 670

Theoretical Computer Science

Volume 670
2

Flowshop problem F 2 → D | v = 1, c ≥ 1| C max revisited

Lan, Yan, Han, Xin, Wang, Yinling, Ge, Min, Guo, He, Chen, Xin
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 295 KB
english, 2017
4

Hardness results for stable exchange problems

Mészáros-Karkus, Zsuzsa
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 707 KB
english, 2017
5

Estimating the subsystem reliability of bubblesort networks

Kung, Tzu-Liang, Hung, Chun-Nan
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 853 KB
english, 2017
6

Edge-independent spanning trees in augmented cubes

Wang, Yan, Shen, Hong, Fan, Jianxi
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 577 KB
english, 2017
7

Dealing with 4-variables by resolution: An improved MaxSAT algorithm

Chen, Jianer, Xu, Chao, Wang, Jianxin
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 446 KB
english, 2017
8

The complexity of counting quantifiers on equality languages

Martin, Barnaby, Pongrácz, András, Wrona, Michał
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 409 KB
english, 2017
9

Editorial Board

Journal:
Theoretical Computer Science
Year:
2017
File:
PDF, 71 KB
2017