中国机械工程学会生产工程分会知识服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
生产工程
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0304-3975
刊名
Theoretical Computer Science
参考译名
理论计算机科学
收藏年代
2002～2024
全部
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2023, vol.939
2023, vol.940, no.Pt.A
2023, vol.940, no.Pt.B
2023, vol.941
2023, vol.942
2023, vol.943
2023, vol.944
2023, vol.945
2023, vol.946
2023, vol.947
2023, vol.948
2023, vol.949
2023, vol.950
2023, vol.951
2023, vol.952
2023, vol.953
2023, vol.954
2023, vol.955
2023, vol.956
2023, vol.957
2023, vol.958
2023, vol.959
2023, vol.960
2023, vol.961
2023, vol.962
2023, vol.963
2023, vol.964
2023, vol.965
2023, vol.966/967
2023, vol.968
2023, vol.969
2023, vol.970
2023, vol.971
2023, vol.972
2023, vol.973
2023, vol.974
2023, vol.975
2023, vol.976
2023, vol.977
2023, vol.978
2023, vol.979
2023, vol.980
题名
作者
出版年
年卷期
Corrigendum to “Complexity and approximability of the happy set problem” [Theor. Comput. Sci. 866 (2021) 123–144, (S0304397521001699), (10.1016/j.tcs.2021.03.023)]
Asahiro Y.; Eto H.; Miyano E.; Terabaru I.; Hanaka T.; Lin G.
2023
2023, vol.975
On computing discretized Ricci curvatures of graphs: Local algorithms and (localized) fine-grained reductions
DasGupta B.; Grigorescu E.; Mukherjee T.
2023
2023, vol.975
The ksmt calculus is a δ-complete decision procedure for non-linear constraints
Brausse F.; Korovin K.; Korovina M.V.; Muller N.T.
2023
2023, vol.975
An integer linear programming approach to solving the Eternity Puzzle
Burkardt J.; Garvie M.R.
2023
2023, vol.975
Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails
Equi M.; Makinen V.; Tomescu A.I.
2023
2023, vol.975
A relaxed condition for avoiding the occur-check
Drabent W.
2023
2023, vol.975
Approximability of the complementarily symmetric Holant problems on cubic graphs
He Y.; Qiu G.; Zhang C.
2023
2023, vol.975
The Faulty Satnav (GPS) Problem: Search for home in networks with unreliable directions
Alpern S.
2023
2023, vol.975
Reliability evaluation of half hypercube networks
Dong H.; Lv M.; Fan W.; Wang G.
2023
2023, vol.975
A parameterized algorithm for subset feedback vertex set in tournaments
Bai T.; Xiao M.
2023
2023, vol.975
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2024