0004-5411

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.