共 4 条
- [1] Stochastic Boolean satisfiability (vol 27, pg 251, 2001)JOURNAL OF AUTOMATED REASONING, 2002, 28 (02) : 233 - 233Littman, MLMajercik, SPitassi, T
Erratum: Stochastic boolean satisfiability (Journal of Automated Reasoning (2001) 27 (251-296))
被引：0
|作者：
Littman, Michael L.
[1
]
Majercik, Stephen M.
[1
]
Pitassi, Toniann
[1
]
机构：
[1] AT and T Labs Research, Florham Park, NJ 07932-0971, United States
来源：
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文