Cooperative Problem Solving against Adversary: Quantified Distributed Constraint Satisfaction Problem
暂无分享,去创建一个
Makoto Yokoo | Katsutoshi Hirayama | Atsushi Iwasaki | Toshihiro Matsui | Satomi Baba | Marius Silaghi
[1] Boi Faltings,et al. Open constraint programming , 2005, Artif. Intell..
[2] Makoto Yokoo,et al. The effect of nogood learning in distributed constraint satisfaction , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.
[3] Kostas Stergiou,et al. QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems , 2005, IJCAI.
[4] Thomas Schiex,et al. Solution Reuse in Dynamic Constraint Satisfaction Problems , 1994, AAAI.
[5] Armando Tacchella,et al. QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability , 2001, IJCAR.
[6] V. R. Lesser,et al. Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems , 2011, J. Artif. Intell. Res..
[7] Hubie Chen. The Computational Complexity of Quantified Constraint Satisfaction , 2004 .
[8] Marco Benedetti,et al. sKizzo: A Suite to Evaluate and Certify QBFs , 2005, CADE.
[9] Christian Bessiere,et al. Distributed Dynamic Backtracking , 2001, CP.