Journal of the ACM （JOLACM） - Issue 312 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 312 |
| 发布时间： |
| 卷期年份： 2019 |
| 卷期官网： |
本期论文列表
On the Computability of Conditional Probability.
Invited Articles Foreword.
On the Decidability of Membership in Matrix-exponential Semigroups.
Uniform Sampling Through the Lovász Local Lemma.
Shellability is NP-complete.
From Real-time Logic to Timed Automata.
Parallel Bayesian Search with No Coordination.
Toward Verifying Nonlinear Integer Arithmetic.
Near-optimal Linear Decision Trees for k-SUM and Related Problems.