Cooperative problem solving against adversary: quantified distributed constraint satisfaction problem
暂无分享,去创建一个
Makoto Yokoo | Katsutoshi Hirayama | Atsushi Iwasaki | Marius-Calin Silaghi | Toshihiro Matsui | Satomi Baba | M. Silaghi | M. Yokoo | T. Matsui | K. Hirayama | Atsushi Iwasaki | Satomi Baba
[1] Hubie Chen. The Computational Complexity of Quantified Constraint Satisfaction , 2004 .
[2] Marco Benedetti,et al. sKizzo: A Suite to Evaluate and Certify QBFs , 2005, CADE.
[3] Makoto Yokoo,et al. Distributed constraint satisfaction for formalizing distributed problem solving , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
[4] Kostas Stergiou,et al. QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems , 2005, IJCAI.
[5] Makoto Yokoo,et al. The effect of nogood learning in distributed constraint satisfaction , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.
[6] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[7] Norman M. Sadeh,et al. Distributed constrained heuristic search , 1991, IEEE Trans. Syst. Man Cybern..
[8] Thomas Schiex,et al. Solution Reuse in Dynamic Constraint Satisfaction Problems , 1994, AAAI.
[9] Armando Tacchella,et al. QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability , 2001, IJCAR.
[10] V. R. Lesser,et al. Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems , 2011, J. Artif. Intell. Res..
[11] Alan K. Mackworth. Constraint Satisfaction , 1985 .
[12] Bhaskar Krishnamachari,et al. Communication and Computation in Distributed CSP Algorithms , 2002, CP.
[13] Michael N. Huhns,et al. Multiagent truth maintenance , 1991, IEEE Trans. Syst. Man Cybern..
[14] Christian Bessiere,et al. Distributed Dynamic Backtracking , 2001, CP.
[15] Sharad Malik,et al. Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation , 2002, CP.
[16] Boi Faltings,et al. Open constraint programming , 2005, Artif. Intell..
[17] Marco Benedetti,et al. a QBF decision procedure based on Propositional Skolemization and Symbolic Reasoning , 2004 .
[18] Victor R. Lesser,et al. Multistage negotiation for distributed constraint satisfaction , 1991, IEEE Trans. Syst. Man Cybern..
[19] Makoto Yokoo,et al. The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..