-
5
-
-
30344450270
-
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
-
8
-
-
38249032896
-
Probabilistic satisfiability
-
G. Georgakopoulos, D. Kavvadias, and C. H. Papadimitriou. Probabilistic satisfiability. J. of Complexity, 4(1):1-11, 1988.
-
(1988)
J. of Complexity
, vol.4
, Issue.1
, pp. 1-11
-
-
Georgakopoulos, G.1
Kavvadias, D.2
Papadimitriou, C.H.3
-
11
-
-
85168154465
-
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
-
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
-
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
-
14
-
-
0034852165
-
Chaff: Engineering an Efficient SAT Solver
-
M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an Efficient SAT Solver. In 38th Design Automation Conference, pages 530-535, 2001.
-
(2001)
38th Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
15
-
-
0022659563
-
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
-
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
-
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
-
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
|