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] 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
  • [22] Hormonal contraception and migraine. (vol 27, pg 49, 2001)
    MacGregor, EA
    JOURNAL OF FAMILY PLANNING AND REPRODUCTIVE HEALTH CARE, 2001, 27 (02): : 89 - 89
  • [23] Proper equation of fracture curve (vol 10, pg 27, 2001)
    Pospeich, J
    JOURNAL OF MATERIALS ENGINEERING AND PERFORMANCE, 2001, 10 (04) : 397 - 397
  • [24] On Anglicisms and the reasons for their frequent usage (vol 1, pg 27, 2001)
    Glahn, R
    MUTTERSPRACHE, 2001, 111 (02): : 192 - 192
  • [25] Women and diabetes (vol 27, pg S5, 2001)
    Kerlan, V
    DIABETES & METABOLISM, 2001, 27 (05): : 624 - 624
  • [26] 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
  • [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 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
  • [29] Minor burns and pneumatocoeles: a case report (vol 27,pg 504, 2001)
    George, A
    Bang, RL
    Gupta, R
    Khalaf, EM
    BURNS, 2001, 27 (08) : 856 - 856
  • [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
12345