Stochastic Boolean satisfiability (vol 27, pg 251, 2001)

被引：0

作者：

Littman, ML

Majercik, S

Pitassi, T

机构：

[1] AT&T Labs Res, Florham Pk, NJ 07932 USA

[2] Bowdoin Coll, Brunswick, ME 04011 USA

[3] Univ Toronto, Dept Comp Sci, Toronto, ON M5X 3G4, Canada

来源：

JOURNAL OF AUTOMATED REASONING | 2002年 / 28卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：233 / 233

页数：1

共 50 条

[21] Stochastic simulation and graphic visualization of mitotic processes (vol 51, pg 251, 2010)
Gardner, Melissa K.
Odde, David J.
METHODS, 2016, 92 : 95 - 95
[22] Geometry of the space of phylogenetic trees (vol 27, pg 733, 2001)
Billera, LJ
Holmes, SP
Vogtmann, K
ADVANCES IN APPLIED MATHEMATICS, 2002, 29 (01) : 136 - 136
[23] Hormonal contraception and migraine. (vol 27, pg 49, 2001)
MacGregor, EA
JOURNAL OF FAMILY PLANNING AND REPRODUCTIVE HEALTH CARE, 2001, 27 (02): : 89 - 89
[24] Proper equation of fracture curve (vol 10, pg 27, 2001)
Pospeich, J
JOURNAL OF MATERIALS ENGINEERING AND PERFORMANCE, 2001, 10 (04) : 397 - 397
[25] On Anglicisms and the reasons for their frequent usage (vol 1, pg 27, 2001)
Glahn, R
MUTTERSPRACHE, 2001, 111 (02): : 192 - 192
[26] Women and diabetes (vol 27, pg S5, 2001)
Kerlan, V
DIABETES & METABOLISM, 2001, 27 (05): : 624 - 624
[27] Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
Lee, Nian-Ze
Jiang, Jie-Hong R.
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 3877 - 3885
[28] ON THE CAPACITY FUNCTIONAL OF THE INFINITE CLUSTER OF A BOOLEAN MODEL (vol 27, pg 1678, 2017)
Last, Guenter
Penrose, Mathew d.
Zuyev, Sergei
ANNALS OF APPLIED PROBABILITY, 2024, 34 (03): : 3370 - 3374
[29] On a decomposition for infinite stochastic matrices (vol 27, pg 127, 1997)
Zhao, YQ
Li, W
Braun, WJ
QUEUEING SYSTEMS, 2000, 35 (1-4) : 399 - 399
[30] Some new identities for Schur functions (vol 27, pg 493, 2001)
Jouhet, F
Zeng, J
ADVANCES IN APPLIED MATHEMATICS, 2005, 35 (01) : 120 - 121

← 1 2 3 4 5 →