Solving #SAT and Bayesian inference with backtracking search

被引：0
|
作者：
Bacchus, Fahiem [1 ]
Dalmao, Shannon [1 ]
Pitassi, Toniann [1 ]
机构：
[1] Department of Computer Science, University of Toronto, Toronto,ON,M5S 3G4, Canada
来源：
Journal of Artificial Intelligence Research | 2009年 / 34卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：391 / 442
相关论文
共 50 条
  • [1] Solving #SAT and Bayesian Inference with Backtracking Search
    Bacchus, Fahiem
    Dalmao, Shannon
    Pitassi, Toniann
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 34 : 391 - 442
  • [2] SOLVING COMBINATORIAL SEARCH PROBLEMS BY INTELLIGENT BACKTRACKING
    BRUYNOOGHE, M
    INFORMATION PROCESSING LETTERS, 1981, 12 (01) : 36 - 39
  • [3] In Search of Bayesian Inference
    Klarreich, Erica
    COMMUNICATIONS OF THE ACM, 2015, 58 (01) : 21 - 24
  • [4] Algorithms and complexity results for #SAT and Bayesian inference
    Bacchus, F
    Dalmao, S
    Pitassi, T
    44TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2003, : 340 - 351
  • [5] The backtracking survey propagation algorithm for solving random K-SAT problems
    Marino, Raffaele
    Parisi, Giorgio
    Ricci-Tersenghi, Federico
    NATURE COMMUNICATIONS, 2016, 7
  • [6] Advanced backtracking search for solving continuous optimization problems
    Tsai H.-C.
    Chen Y.-R.
    Ko C.-C.
    Soft Computing, 2024, 28 (13-14) : 7905 - 7918
  • [7] The backtracking survey propagation algorithm for solving random K-SAT problems
    Raffaele Marino
    Giorgio Parisi
    Federico Ricci-Tersenghi
    Nature Communications, 7
  • [8] SAT-based algorithms for Bayesian network inference
    Kumar, TKS
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEM XIX, 2003, : 135 - 148
  • [9] Strategies for solving SAT in grids by randomized search
    Hyvarinen, Antti E. J.
    Junttila, Tommi
    Niemela, Ilkka
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 125 - 140
  • [10] Heuristic backtracking algorithms for SAT
    Bhalla, A
    Lynce, I
    de Sousa, JT
    Marques-Silva, J
    4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 69 - 74
12345