-
1
-
-
0035250750
-
Recursive conditioning
-
Adnan Darwiche. Recursive conditioning. Artif. Intell., 126(1-2):5-41, 2001.
-
(2001)
Artif. Intell.
, vol.126
, Issue.1-2
, pp. 5-41
-
-
Darwiche, A.1
-
3
-
-
0022144787
-
A sufficient condition for backtrack-bounded search
-
Eugene C. Freuder. A sufficient condition for backtrack-bounded search. Journal of the ACM, 32(14):755-761, 1985.
-
(1985)
Journal of the ACM
, vol.32
, Issue.14
, pp. 755-761
-
-
Freuder, E.C.1
-
4
-
-
33750707077
-
Unifying cluster-tree decompositions for automated reasoning in graphical models
-
Kalev Kask, Rina Dechter, and Javier Larrosa. Unifying cluster-tree decompositions for automated reasoning in graphical models. Artificial Intelligence, 2005.
-
(2005)
Artificial Intelligence
-
-
Kask, K.1
Dechter, R.2
Larrosa, J.3
-
5
-
-
4544376849
-
Taking DCOP to the real world: Efficient complete solutions for distributed multi-event scheduling
-
Rajiv T. Maheswaran, Milind Tambe, Emma Bowring, Jonathan P. Pearce, and Pradeep Varakantham. Taking DCOP to the real world: Efficient complete solutions for distributed multi-event scheduling. In AAMAS-04, 2004.
-
(2004)
AAMAS-04
-
-
Maheswaran, R.T.1
Tambe, M.2
Bowring, E.3
Pearce, J.P.4
Varakantham, P.5
-
6
-
-
52249104993
-
Asynchronous partial overlay: A new algorithm for solving distributed constraint satisfaction problems
-
to appear
-
Roger Mailler and Victor Lesser. Asynchronous partial overlay: A new algorithm for solving distributed constraint satisfaction problems. Journal of Artificial Intelligence Research (JAIR), 2005. to appear.
-
(2005)
Journal of Artificial Intelligence Research (JAIR)
-
-
Mailler, R.1
Lesser, V.2
-
7
-
-
84880733200
-
AND/OR cutset conditioning
-
Robert Mateescu and Rina Dechter. AND/OR cutset conditioning. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI-05, Edinburgh, Scotland, Aug 2005.
-
Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI-05, Edinburgh, Scotland, Aug 2005
-
-
Mateescu, R.1
Dechter, R.2
-
8
-
-
10044277219
-
ADOPT: Asynchronous distributed constraint optimization with quality guarantees
-
Pragnesh Jay Modi, Wei-Min Shen, Milind Tambe, and Makoto Yokoo. ADOPT: Asynchronous distributed constraint optimization with quality guarantees. AI Journal, 161:149-180, 2005.
-
(2005)
AI Journal
, vol.161
, pp. 149-180
-
-
Modi, P.J.1
Shen, W.-M.2
Tambe, M.3
Yokoo, M.4
-
9
-
-
84880707137
-
DPOP: A scalable method for multiagent constraint optimization
-
Adrian Petcu and Boi Faltings. DPOP: A scalable method for multiagent constraint optimization. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI-05, Edinburgh, Scotland, Aug 2005.
-
Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI-05, Edinburgh, Scotland, Aug 2005
-
-
Petcu, A.1
Faltings, B.2
-
10
-
-
84880883843
-
PC-DPOP: A partial centralization extension of DPOP
-
Adrian Petcu and Boi Faltings. PC-DPOP: A partial centralization extension of DPOP. In In Proceedings of the Second International Workshop on Distributed Constraint Satisfaction Problems, ECAI'06, Riva del Garda, Italy, August 2006.
-
In Proceedings of the Second International Workshop on Distributed Constraint Satisfaction Problems, ECAI'06, Riva del Garda, Italy, August 2006
-
-
Petcu, A.1
Faltings, B.2
-
11
-
-
34247224323
-
M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems
-
Adrian Petcu, Boi Faltings, and David Parkes. M-DPOP: Faithful Distributed Implementation of Efficient Social Choice Problems. In Proceedings of the International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS-06), Hakodate, Japan, May 2006.
-
Proceedings of the International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS-06), Hakodate, Japan, May 2006
-
-
Petcu, A.1
Faltings, B.2
Parkes, D.3
-
12
-
-
0034140791
-
Resolution versus search: Two strategies for SAT
-
Irina Rish and Rina Dechter. Resolution versus search: Two strategies for SAT. Journal of Automated Reasoning, 24(1/2):225-275, 2000.
-
(2000)
Journal of Automated Reasoning
, vol.24
, Issue.1-2
, pp. 225-275
-
-
Rish, I.1
Dechter, R.2
-
13
-
-
85043435920
-
Distributed constraint satisfaction for formalizing distributed problem solving
-
Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. Distributed constraint satisfaction for formalizing distributed problem solving. In International Conference on Distributed Computing Systems, pages 614-621, 1992.
-
(1992)
International Conference on Distributed Computing Systems
, pp. 614-621
-
-
Yokoo, M.1
Durfee, E.H.2
Ishida, T.3
Kuwabara, K.4
|