-
1
-
-
0003369786
-
Semiring-based CSPs and valued CSPs; Frameworks, properties and comparison
-
Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G.: Semiring-based CSPs and valued CSPs; Frameworks, properties and comparison. Constraints 4 (1999) 199-240
-
(1999)
Constraints
, vol.4
, pp. 199-240
-
-
Bistarelli, S.1
Fargier, H.2
Montanari, U.3
Rossi, F.4
Schiex, T.5
Verfaillie, G.6
-
2
-
-
0012649881
-
Probabilistic inference in intelligent systems
-
Morgan Kaufmann, San Mateo, CA
-
Pearl, J.: Probabilistic Inference in Intelligent Systems. Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA (1988)
-
(1988)
Networks of Plausible Inference
-
-
Pearl, J.1
-
3
-
-
33646183707
-
-
Gilbert, D., Backofen, R., Yap, R., eds.: Kluwer
-
Gilbert, D., Backofen, R., Yap, R., eds.: Constraints: an International Journal (Special Issue on Bioinformatics). Volume 6(2-3). Kluwer (2001)
-
(2001)
Constraints: An International Journal (Special Issue on Bioinformatics)
, vol.6
, Issue.2-3
-
-
-
4
-
-
0000256180
-
Earth observation satellite management
-
Bensana, E., Lemaitre, M., Verfaillie, G.: Earth observation satellite management. Constraints 4(3) (1999) 293-299
-
(1999)
Constraints
, vol.4
, Issue.3
, pp. 293-299
-
-
Bensana, E.1
Lemaitre, M.2
Verfaillie, G.3
-
5
-
-
0000988422
-
Branch-and-bound methods: A survey
-
Lawler, E.L., Wood, D.E.: Branch-and-bound methods: A survey. Operations Research 14(4) (1966) 699-719
-
(1966)
Operations Research
, vol.14
, Issue.4
, pp. 699-719
-
-
Lawler, E.L.1
Wood, D.E.2
-
6
-
-
4644326185
-
Solving weighted csp by maintaining arc-consistency
-
Larrosa, J., Schiex, T.: Solving weighted csp by maintaining arc-consistency. Artificial Intelligence 159 (2004) 1-26
-
(2004)
Artificial Intelligence
, vol.159
, pp. 1-26
-
-
Larrosa, J.1
Schiex, T.2
-
7
-
-
0034515087
-
A comparison of structural csp decomposition methods
-
Gottlob, G., Leone, N., Scarcello, F.: A comparison of structural csp decomposition methods. Artificial Intelligence 124 (2000) 243-282
-
(2000)
Artificial Intelligence
, vol.124
, pp. 243-282
-
-
Gottlob, G.1
Leone, N.2
Scarcello, F.3
-
8
-
-
0033188982
-
Bucket elimination: A unifying framework for reasoning
-
Dechter, R.: Bucket elimination: A unifying framework for reasoning. Artificial Intelligence 113 (1999) 41-85
-
(1999)
Artificial Intelligence
, vol.113
, pp. 41-85
-
-
Dechter, R.1
-
9
-
-
1642312636
-
Mini-buckets: A general scheme for bounded inference
-
Dechter, R., Rish, I.: Mini-buckets: A general scheme for bounded inference. Journal of the ACM 50 (2003) 107-153
-
(2003)
Journal of the ACM
, vol.50
, pp. 107-153
-
-
Dechter, R.1
Rish, I.2
-
11
-
-
4243154496
-
On the time complexity of bucket elimination algorithms
-
University of California at Irvine
-
Larrosa, J.: On the time complexity of bucket elimination algorithms. Technical report, University of California at Irvine (2001)
-
(2001)
Technical Report
-
-
Larrosa, J.1
-
12
-
-
0035369520
-
A general scheme for automatic generation of search heuristics from specification dependencies
-
Kask, K., Dechter, R.: A general scheme for automatic generation of search heuristics from specification dependencies. Artificial Intelligence 129 (2001) 91-131
-
(2001)
Artificial Intelligence
, vol.129
, pp. 91-131
-
-
Kask, K.1
Dechter, R.2
-
13
-
-
0001844903
-
Radio link frequency assignment
-
Gabon, B., de Givry, S., Lobjois, L., Schiex, T., Warners, J.: Radio link frequency assignment. Constraints 4 (1999) 79-89
-
(1999)
Constraints
, vol.4
, pp. 79-89
-
-
Gabon, B.1
De Givry, S.2
Lobjois, L.3
Schiex, T.4
Warners, J.5
|