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 条
  • [1] Erratum: Stochastic boolean satisfiability (Journal of Automated Reasoning (2001) 27 (251-296))
    Littman, Michael L.
    Majercik, Stephen M.
    Pitassi, Toniann
    Journal of Automated Reasoning, 2002, 28 (02):
  • [2] Stochastic Boolean satisfiability
    Littman, ML
    Majercik, SM
    Pitassi, T
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (03) : 251 - 296
  • [3] Stochastic Boolean Satisfiability
    Michael L. Littman
    Stephen M. Majercik
    Toniann Pitassi
    Journal of Automated Reasoning, 2001, 27 : 251 - 296
  • [4] Resolution for Stochastic Boolean Satisfiability
    Teige, Tino
    Fraenzle, Martin
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 625 - 639
  • [5] Solving Boolean Satisfiability with Stochastic Nanomagnets
    Hashem, Maeesha Binte
    Darabi, Nastaran
    Bandyopadhyay, Supriyo
    Trivedi, Amit Ranjan
    2022 29TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (IEEE ICECS 2022), 2022,
  • [6] Nonchronological backtracking in Stochastic Boolean satisfiability
    Majercik, SM
    ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, : 498 - 507
  • [7] A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
    Luo, Yun-Rong
    Cheng, Che
    Jiang, Jie-Hong R.
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (03)
  • [8] Unifying Decision and Function Queries in Stochastic Boolean Satisfiability
    Fan, Yu-Wei
    Jiang, Jie-Hong R.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, 2024, : 7995 - 8003
  • [9] Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
    Teige, Tino
    Fraenzle, Martin
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 158 - 172
  • [10] A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
    Yun-Rong Luo
    Che Cheng
    Jie-Hong R. Jiang
    Journal of Automated Reasoning, 2023, 67
12345