Journal of the ACM （JOLACM） - Issue 237 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 237 |
| 发布时间： |
| 卷期年份： 2006 |
| 卷期官网： |
本期论文列表
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(
On the composition of authenticated Byzantine Agreement.
An approximation scheme for stochastic linear programming and its application to stochastic integer programs.
Linear work suffix array construction.