메뉴 건너뛰기




Volumn 7962 LNCS, Issue , 2013, Pages 233-249

Solutions for hard and soft constraints using optimized probabilistic satisfiability

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LINEAR PROGRAMMING;

EID: 84879920525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-39071-5_18     Document Type: Conference Paper
Times cited : (4)

References (25)
  • 1
    • 0003451565 scopus 로고
    • Macmillan, London available on project Gutemberg at
    • Boole, G.: An Investigation on the Laws of Thought. Macmillan, London (1854), available on project Gutemberg at http://www.gutenberg.org/etext/15114
    • (1854) An Investigation on the Laws of Thought
    • Boole, G.1
  • 2
    • 45749085681 scopus 로고    scopus 로고
    • Z3: An efficient SMT solver
    • Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
    • de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.4963 , pp. 337-340
    • De Moura, L.1    Bjørner, N.2
  • 3
    • 84864264966 scopus 로고    scopus 로고
    • SMT-aided combinatorial materials discovery
    • Cimatti, A., Sebastiani, R. (eds.) SAT 2012. Springer, Heidelberg
    • Ermon, S., Le Bras, R., Gomes, C.P., Selman, B., van Dover, R.B.: SMT-aided combinatorial materials discovery. In: Cimatti, A., Sebastiani, R. (eds.) SAT 2012. LNCS, vol. 7317, pp. 172-185. Springer, Heidelberg (2012)
    • (2012) LNCS , vol.7317 , pp. 172-185
    • Ermon, S.1    Le Bras, R.2    Gomes, C.P.3    Selman, B.4    Van Dover, R.B.5
  • 4
    • 84874907814 scopus 로고    scopus 로고
    • Probabilistic satisfiability: Logic-based algorithms and phase transition
    • Walsh, T. (ed.) IJCAI/AAAI
    • Finger, M., Bona, G.D.: Probabilistic satisfiability: Logic-based algorithms and phase transition. In: Walsh, T. (ed.) IJCAI, pp. 528-533. IJCAI/AAAI (2011)
    • (2011) IJCAI , pp. 528-533
    • Finger, M.1    Bona, G.D.2
  • 5
    • 84880688943 scopus 로고    scopus 로고
    • Learning probabilistic relational models
    • Springer
    • Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: IJCAI, pp. 1300-1309. Springer (1999)
    • (1999) IJCAI , pp. 1300-1309
    • Friedman, N.1    Getoor, L.2    Koller, D.3    Pfeffer, A.4
  • 8
    • 84886064026 scopus 로고    scopus 로고
    • Solving optimization problems with dll
    • Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) IOS Press
    • Giunchiglia, E., Maratea, M.: Solving optimization problems with dll. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, pp. 377-381. IOS Press (2006)
    • (2006) ECAI 2006 , pp. 377-381
    • Giunchiglia, E.1    Maratea, M.2
  • 10
    • 79551656359 scopus 로고    scopus 로고
    • A wavelet transform algorithm for peak detection and application to powder x-ray diffraction data
    • Gregoire, J.M., Dale, D., van Dover, R.B.: A wavelet transform algorithm for peak detection and application to powder x-ray diffraction data. Review of Scientific Instruments 82(1), 015105-015105 (2011)
    • (2011) Review of Scientific Instruments , vol.82 , Issue.1 , pp. 015105-015105
    • Gregoire, J.M.1    Dale, D.2    Van Dover, R.B.3
  • 12
    • 85168154465 scopus 로고
    • Models and algorithms for probabilistic and bayesian logic
    • Hansen, P., Jaumard, B., Nguetsé, G.B.D., de Aragão, M.P.: Models and algorithms for probabilistic and bayesian logic. In: IJCAI, pp. 1862-1868 (1995)
    • (1995) IJCAI , pp. 1862-1868
    • Hansen, P.1    Jaumard, B.2    Nguetsé, G.B.D.3    De Aragão, M.P.4
  • 13
    • 36348945343 scopus 로고    scopus 로고
    • Merging the local and global approaches to probabilistic satisfiability
    • Hansen, P., Perron, S.: Merging the local and global approaches to probabilistic satisfiability. Int. J. Approx. Reasoning 47(2), 125-140 (2008)
    • (2008) Int. J. Approx. Reasoning , vol.47 , Issue.2 , pp. 125-140
    • Hansen, P.1    Perron, S.2
  • 16
    • 80052985532 scopus 로고    scopus 로고
    • Constraint reasoning and kernel clustering for pattern decomposition with scaling
    • Lee, J. (ed.) CP 2011. Springer, Heidelberg
    • LeBras, R., Damoulas, T., Gregoire, J.M., Sabharwal, A., Gomes, C.P., van Dover, R.B.: Constraint reasoning and kernel clustering for pattern decomposition with scaling. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 508-522. Springer, Heidelberg (2011), http://dl.acm.org/citation.cfm?id=2041160. 2041202
    • (2011) LNCS , vol.6876 , pp. 508-522
    • LeBras, R.1    Damoulas, T.2    Gregoire, J.M.3    Sabharwal, A.4    Gomes, C.P.5    Van Dover, R.B.6
  • 19
    • 0022659563 scopus 로고
    • Probabilistic logic
    • Nilsson, N.: Probabilistic logic. Artificial Intelligence 28(1), 71-87 (1986)
    • (1986) Artificial Intelligence , vol.28 , Issue.1 , pp. 71-87
    • Nilsson, N.1
  • 20
    • 38249004688 scopus 로고
    • Probabilistic logic revisited
    • Nilsson, N.: 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
  • 22
    • 40349089023 scopus 로고    scopus 로고
    • Probabilistic Inductive Logic Programming
    • Springer, Heidelberg
    • De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol. 4911. Springer, Heidelberg (2008)
    • (2008) LNCS (LNAI) , vol.4911
    • De Raedt, L.1    Frasconi, P.2    Kersting, K.3    Muggleton, S.4
  • 23
  • 24
    • 0032510515 scopus 로고    scopus 로고
    • Discovery of a useful thin-film dielectric using a composition-spread approach
    • Van Dover, R.B., Schneemeyer, L., Fleming, R.: Discovery of a useful thin-film dielectric using a composition-spread approach. Nature 392(6672), 162-164 (1998)
    • (1998) Nature , vol.392 , Issue.6672 , pp. 162-164
    • Van Dover, R.B.1    Schneemeyer, L.2    Fleming, R.3
  • 25
    • 0032179316 scopus 로고    scopus 로고
    • A linear-time transformation of linear inequalities into conjunctive normal form
    • Warners, J.P.: 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가 분석하여 추출한 것입니다.