메뉴 건너뛰기




Volumn , Issue , 2011, Pages 528-533

Probabilistic satisfiability: Logic-based algorithms and phase transition

Author keywords

[No Author keywords available]

Indexed keywords

BETTER PERFORMANCE; COLUMN GENERATION; LINEAR-ALGEBRAIC; NORMAL FORM; PHASE TRANSITION BEHAVIOURS; SATISFIABILITY;

EID: 84874907814     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-096     Document Type: Conference Paper
Times cited : (42)

References (18)
  • 5
    • 30344450270 scopus 로고    scopus 로고
    • An extensible SAT-solver
    • SAT 2003, Springer
    • N. Eén and N. Sörensson. An extensible SAT-solver. In SAT 2003, volume 2919 of LNCS, pages 502-518. Springer, 2003.
    • (2003) LNCS , vol.2919 , pp. 502-518
    • Eén, N.1    Sörensson, N.2
  • 11
    • 85168154465 scopus 로고
    • Models and algorithms for probabilistic and bayesian logic
    • P. Hansen, B. Jaumard, G.-B. Nguetsé, and M. P. Aragão. Models and algorithms for probabilistic and bayesian logic. In IJCAI, pages 1862-1868, 1995.
    • (1995) IJCAI , pp. 1862-1868
    • Hansen, P.1    Jaumard, B.2    Nguetsé, G.-B.3    Aragão, M.P.4
  • 12
    • 0026125665 scopus 로고
    • Column generation methods for probabilistic logic
    • B. Jaumard, P. Hansen, and M.P. Aragão. Column generation methods for probabilistic logic. INFORMS J. on Computing, 3(2):135-148, 1991.
    • (1991) INFORMS J. on Computing , vol.3 , Issue.2 , pp. 135-148
    • Jaumard, B.1    Hansen, P.2    Aragão, M.P.3
  • 13
    • 0001336657 scopus 로고
    • A linear programming approach to reasoning about probabilities
    • D. Kavvadias and C. H. Papadimitriou. A linear programming approach to reasoning about probabilities. AMAI, 1:189-205, 1990.
    • (1990) AMAI , vol.1 , pp. 189-205
    • Kavvadias, D.1    Papadimitriou, C.H.2
  • 15
    • 0022659563 scopus 로고
    • Probabilistic logic
    • Nils Nilsson. Probabilistic logic. Artificial Intelligence, 28(1):71-87, 1986.
    • (1986) Artificial Intelligence , vol.28 , Issue.1 , pp. 71-87
    • Nilsson, N.1
  • 16
    • 38249004688 scopus 로고
    • Probabilistic logic revisited
    • Nils Nilsson. Probabilistic logic revisited. Artificial Intelligence, 59(1-2):39-42, 1993.
    • (1993) Artificial Intelligence , vol.59 , Issue.1-2 , pp. 39-42
    • Nilsson, N.1
  • 17
    • 4444291580 scopus 로고    scopus 로고
    • Direct algorithms for checking consistency and making inferences from conditional probability assessments
    • DOI 10.1016/j.jspi.2003.09.005, PII S0378375803002751
    • P. Walley, R. Pelessoni, and P. Vicig. Direct algorithms for checking consistency and making inferences from conditional probability assessments. J. of Statistical Planning and Inference, 126(1):119-151, 2004. (Pubitemid 39167903)
    • (2004) Journal of Statistical Planning and Inference , vol.126 , Issue.1 , pp. 119-151
    • Walley, P.1    Pelessoni, R.2    Vicig, P.3
  • 18
    • 0032179316 scopus 로고    scopus 로고
    • A linear-time transformation of linear inequalities into conjunctive normal form
    • J. P. Warners. A linear-time transformation of linear inequalities into conjunctive normal form. Inf. Process. Lett., 68(2):63-69, 1998.
    • (1998) Inf. Process. Lett. , vol.68 , Issue.2 , pp. 63-69
    • Warners, J.P.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.