Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP, pp.53-60, 2010. ,
DOI : 10.1007/978-3-642-15396-9_7
Représentation par automate d'ensemble de solutions de problèmes de satisfaction de contraintes, Thèse de doctorat, 1999. ,
Logic programming Handbook of Theoretical Computer Science, pp.493-574, 1990. ,
Arc-consistency for dynamic constraint problems : A RMS free approach, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, 1994. ,
Arc-consistency in dynamic constraint satisfaction problems, Proceedings of AAAI-91, pp.221-226, 1991. ,
Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, issue.1, pp.179-190, 1994. ,
DOI : 10.1016/0004-3702(94)90041-8
Arc consistency for general constraint networks : preliminary results, Proceedings IJCAI'97, pp.398-404, 1997. ,
Rening The Basic Constraint Propagation Algorithm, Proceedings of the 17th International Joint Conference on Articial Intelligence, pp.309-315, 2001. ,
Distributed Dynamic Backtracking, Proc. IJCAI-01 Workshop on Distributed Constraint Reasoning, 2001. ,
DOI : 10.1007/3-540-45578-7_73
Etre ou ne pas être... une contrainte globale, Proceedings JNPC'03, pp.67-81, 2003. ,
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem, Proceedings CP'01, pp.565-569, 2001. ,
DOI : 10.1007/3-540-45578-7_40
Asynchronous backtracking family, 2003. ,
Asynchronous backtracking without adding links: a new member in the ABT family, Artificial Intelligence, vol.161, issue.1-2, pp.7-24, 2005. ,
DOI : 10.1016/j.artint.2004.10.002
Coopération consistante de bases de connaissance au premier ordre ni, Actes des Journées jeunes chercheurs Ganymède, pp.24-28, 1998. ,
Distributed Forward Checking, Proc. 2003, 9th International Conference, pp.801-806, 2003. ,
DOI : 10.1007/978-3-540-45193-8_56
Synchronous, Asynchronous and Hybrid Algorithms for DisCSP, Mark Wallace editor, Principales and Practic of Constraint Programming, 2004. ,
DOI : 10.1007/978-3-540-30201-8_70
Distributed Constraint Satisfaction, 2007. ,
Asynchronous parallel branch and bound and anomalies, Parallel Algorithms for Irregularly Structured Problems, 1995. ,
DOI : 10.1007/3-540-60321-2_29
Sur la consistance de chemin et ses formes partielles, Actes du Congrès AFCET-RFIA 96, pp.212-219, 1996. ,
EFFICIENT PATH-CONSISTENCY PROPAGATION, International Journal on Artificial Intelligence Tools, vol.7, issue.02, pp.121-142, 1998. ,
DOI : 10.1016/0004-3702(92)90020-X
Cooperative Solution of Constraint Satisfaction Problems, Science, vol.254, issue.5035, pp.1181-1183, 1991. ,
DOI : 10.1126/science.254.5035.1181
Cooperative Problem Solving Computation : The Micro and the Macro View, World Scientic, pp.33-70, 1992. ,
Asynchronous Parallel Arc Consistency Algorithms on a Distributed Memory Machine, Journal of Parallel and Distributed Computing, vol.24, issue.1, pp.27-40, 1995. ,
DOI : 10.1006/jpdc.1995.1004
An optimal k-consistency algorithm, Artificial Intelligence, vol.41, issue.1, 1989. ,
DOI : 10.1016/0004-3702(89)90080-5
Arc consistency: parallelism and domain dependence, Artificial Intelligence, vol.58, issue.1-3, pp.207-235, 1992. ,
DOI : 10.1016/0004-3702(92)90008-L
Logique classique, Notes de cours ,
Expert systems: aspects of and limitations to the codifiability of knowledge, Research Policy, vol.30, issue.9, pp.1355-1372, 2001. ,
DOI : 10.1016/S0048-7333(01)00156-1
The design of Rijndael : AES. the Advanced Encryption Standard, 2002. ,
DOI : 10.1007/978-3-662-04722-4
Les algorithmes d'arc-consistance dynamiques. Revue d'intelligence articielle, pp.239-267, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00442824
Domain Filtering Consistencies, Journal of Articial Intelligence Research, vol.14, pp.205-230, 2001. ,
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems, Proceedings of the tenth International Joint Conference on Articial Intelligence (IJCAI-89), pp.271-277, 1989. ,
DOI : 10.1016/0004-3702(94)90068-X
Logique et théorie des ensembles, 2006. ,
Mathematical logic, 1994. ,
DOI : 10.1007/978-1-4757-2355-7
A randomized protocol for signing contracts, Communications of the ACM, vol.28, issue.6, pp.637-647, 1985. ,
DOI : 10.1145/3812.3818
Knowledge Engineering for the 1980's, 1982. ,
Expert systems for medical consultation Health Policy, pp.159-173, 1986. ,
Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978. ,
DOI : 10.1145/359642.359654
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA034011&Location=U2&doc=GetTRDoc.pdf
A Sufficient Condition for Backtrack-Free Search, Journal of the ACM, vol.29, issue.1, pp.24-32, 1982. ,
DOI : 10.1145/322290.322292
A sufficient condition for backtrack-bounded search, Journal of the ACM, vol.32, issue.4, pp.755-761, 1985. ,
DOI : 10.1145/4221.4225
Look-ahead value ordering for constraint satisfaction problems, Proceedings of the International Joint Conference on Articial Intelligence (IJCAI 95), pp.572-578, 1995. ,
MPI : A Message Passing Interface standard, International Journal of super computer Application, vol.8, issue.3, pp.165-416, 1994. ,
Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982. ,
DOI : 10.1016/0004-3702(82)90020-0
Performance Measurement and Analysis of Certain Search Algorithms, pp.79-124, 1979. ,
Development of a Knowledge-Based System for Water Resources Problems, 1981. ,
Computers and Intractability -A guide to the theory of NP-Completeness, 1979. ,
Solving Mixed and Conditional Constraint Satisfaction Problems, Constraints, pp.107-141, 2003. ,
Assumption-Based Pruning in Conditional CSP, VAN BEEK, pp.241-255, 2005. ,
DOI : 10.1007/11564751_20
Experimental analysis of privacy loss in DCOP algorithms, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.1424-1426, 2006. ,
DOI : 10.1145/1160633.1160899
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems, Proceedings of the tenth International Joint Conference on Articial Intelligence (IJCAI-89), pp.271-277, 1989. ,
DOI : 10.1016/0004-3702(94)90068-X
Exhaustive cryptanalysis of the NBS Data Encryption Standard, IEEE Computer, vol.10, pp.74-84, 1977. ,
Une version concurrente de la procédure de Davis et Putnam. Revue d'intelligence articielle, pp.499-506, 1996. ,
CSPlib: A Benchmark Library for Constraints, 5th International Conference on Principles and Practice of Constraints Programming, pp.480-481, 1999. ,
DOI : 10.1007/978-3-540-48085-3_36
A first order logic for partial functions, Theoretical Computer Science, vol.74, issue.1, pp.37-69, 1990. ,
DOI : 10.1016/0304-3975(90)90005-3
College Admissions and the Stability of Marriage, The American Mathematical Monthly, vol.69, issue.1, pp.9-14, 1962. ,
DOI : 10.1080/00029890.1962.11989827
PVM : Parallel Virtuel Machine, 1994. ,
On the generation of locally Consistent solution spaces in mixed dynamic constraint problems, 1998. ,
A general Backtracking algorithm that eliminates most redundant tests, Proceedings IJCAI'77, 1977. ,
Expert systems : Principles and programming, 1998. ,
Dynamic backtracking, J.of Articial Intelligence research, vol.1, pp.25-46, 1993. ,
DOI : 10.1007/3-540-58601-6_105
URL : http://www.ai.mit.edu/people/dam/dynamic2.ps
Tabou search, Modern Heuristic Techniques for Combinatorial Problems, 1993. ,
Backtrack Programming, Journal of the ACM, vol.12, issue.4, pp.516-524, 1965. ,
DOI : 10.1145/321296.321300
Algorithmic Graph Theory and Perfect Graphs, 1980. ,
The Evolving Role of Constraints in the Functional Data Model, J. Intelligent Information Systems, issue.12, pp.113-137, 1999. ,
Design and development of knowledge-based systems on the web, Proceedings of ISCA 2000 : Ninth International Conference on Intelligence Systems, pp.147-150, 2000. ,
Traitement des problèmes de satisfaction de contraintes distribués, 1999. ,
INTERLEAVED BACKTRACKING IN DISTRIBUTED CONSTRAINT NETWORKS, International Journal on Artificial Intelligence Tools, vol.976, issue.3, pp.167-188, 2002. ,
DOI : 10.1023/A:1010078712316
ManySAT : a parallel SAT solver, In Journal on Satisability, Boolean Modeling and Computation, vol.6, pp.245-262, 2009. ,
Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, issue.3, pp.263-313, 1980. ,
DOI : 10.1016/0004-3702(80)90051-X
Rule-based systems, Communications of the ACM, vol.28, issue.9, pp.921-932, 1985. ,
DOI : 10.1145/4284.4286
Expected Gains from Parallelizing Constraint Solving for Hard Problems, Proceedings of AAAI 94, pp.331-336, 1994. ,
The OLP Optimization Programming Language, 1999. ,
Decomposition of Domains Based on the Micro-Structure of Finite Constraint Satisfaction Problems, Proceedings of AAAI 93, pp.731-736, 1993. ,
A roadmap of agent research and development, Autonomous Agents and Multi-Agent Systems, vol.1, issue.1, pp.7-38, 1998. ,
DOI : 10.1023/A:1010090405266
Reducing Redundant messages in the asynchronous backtracking algorithm, Sixth International Workshop on Distributed Constraint Reasoning, 2005. ,
Proceedings of the 2nd DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.26, 1996. ,
On the parallel complexity of discrete relaxation in constraint satisfaction networks, Artificial Intelligence, vol.45, issue.3, pp.275-286, 1990. ,
DOI : 10.1016/0004-3702(90)90009-O
Local consistency in parallel constraint satisfaction networks, Artificial Intelligence, vol.69, issue.1-2, pp.307-327, 1994. ,
DOI : 10.1016/0004-3702(94)90085-X
Randomized parallel algorithms for backtrack search and branch-and-bound computation, Journal of the ACM, vol.40, issue.3, pp.765-789, 1993. ,
DOI : 10.1145/174130.174145
Application of a Expert System on the Fracture Mechanics of Concrete, Articial Intelligence, pp.177-190, 2003. ,
RI: a logic for reasoning with inconsistency, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.253-262, 1988. ,
DOI : 10.1109/LICS.1989.39180
Optimization by simulated annealing, Science, pp.671-680, 1983. ,
DOI : 10.1016/b978-0-08-051581-6.50059-3
URL : http://www.cs.virginia.edu/cs432/documents/sa-1983.pdf
Expert system methodologies and applications-a decade review from Expert Systems with applications, pp.93-103, 1995. ,
Coopération entre méthodes complètes et incomplètes pour la résolution de (V)CSP : une tentative d'inventaire, journées Nationales de la Résolution Pratique de Problèmes NP-Complets, pp.67-73 ,
Articial Intelligence : Structures and Strategies for Complex Problem Solving, 2002. ,
Evaluating medical expert systems, Social Science & Medicine, vol.24, issue.10, pp.805-819, 1987. ,
DOI : 10.1016/0277-9536(87)90182-1
Constraint Logic Programming, Foundations of Articial Intelligence, vol.2, pp.409-452, 2006. ,
DOI : 10.1016/S1574-6526(06)80016-7
Distributed forward checking, Proc. CP-2000 Workshop on Distributed Constraint Satisfaction, 2000. ,
MYCIN: a knowledge-based consultation program for infectious disease diagnosis, International Journal of Man-Machine Studies, vol.10, issue.3, pp.313-322, 1978. ,
DOI : 10.1016/S0020-7373(78)80049-2
First-Order Modal Logic, 1998. ,
Distributed Constraints Satisfaction Algorithm. Performance, Communication, 2004. ,
Asynchronous Forward Checking for distributed CSP, Frontiers in Articial Intelligence and Applications, 2004. ,
The Technology of Expert Systems. Byte, pp.303-312, 1985. ,
A framework for representing Knowledge. The psychology of computer vision, MCGraw-Hill, pp.211-281, 1975. ,
Minimizing conicts : a heuristic repair method for constraint satisfaction and scheduling problems, Articial Intelligence, vol.58, pp.160-205, 1992. ,
Dynamic constraint satisfaction problems, AAAI, pp.25-32, 1990. ,
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, pp.95-132, 1974. ,
DOI : 10.1016/0020-0255(74)90008-5
Supporting decisions in medical applications: the knowledge management perspective, International Journal of Medical Informatics, vol.68, issue.1-3, pp.79-90, 2002. ,
DOI : 10.1016/S1386-5056(02)00067-9
Arc and path consistency revisited, Artificial Intelligence, vol.28, issue.2, 1986. ,
DOI : 10.1016/0004-3702(86)90083-4
URL : https://hal.archives-ouvertes.fr/inria-00548487
A highly OR-parallel inference machine (Multi-ASCA) and its performance evaluation: an architecture and its load balancing algorithms, IEEE Transactions on Computers, vol.43, issue.9, pp.1062-1075, 1994. ,
DOI : 10.1109/12.312115
Soar-RL : integrating reinforcement learning with Soar Cognitive Systems Research, pp.51-59, 2005. ,
Expert systems in finance???a cross-section of the field, Expert Systems with Applications, vol.23, issue.1, pp.49-66, 2002. ,
DOI : 10.1016/S0957-4174(02)00027-1
Secure DisCSP protocols -from centralized towards distributed solutions, Proc. 6th workshop on Distributed Constraints Reasoning, DCR-05, 2005. ,
Combining Constraints and Consistency Techniques Advances in information system, LNCS, pp.191-200, 1909. ,
Distribution de l'arbre de recherche des problèmes de satisfaction de contraintes en domaines nis, 2ème Conférence Nationale sur la Résolution de Problèmes NP-Complets, pp.275-290, 1996. ,
HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM, Computational Intelligence, vol.1, issue.4, pp.268-299, 1993. ,
DOI : 10.1016/0004-3702(77)90007-8
How to exchange secrets by oblivious transfer, 1981. ,
Parallel depth first search. Part I. Implementation, International Journal of Parallel Programming, vol.29, issue.1, pp.479-499, 1987. ,
DOI : 10.1007/BF01389000
Une approche de résolution de problèmes en logique des prédicats fondée sur des techniques de satisfaction de contraintes, 1999. ,
Sacre : a Constraint Satisfaction Based Theorem Prover, Proceedings of AAAI-99, 1999. ,
A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, vol.21, issue.2, pp.120-126, 1978. ,
DOI : 10.1145/359340.359342
Articial Intelligence. A Modern Approach, 2003. ,
Mixing Protocol based on the Cooperation and the Parallelism for the Distributed Environment, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. ,
DOI : 10.1109/SNPD.2008.171
Résolution des problèmes de satisfaction de contraintes distribués à travers le parallélisme, la coopération, et le ltrage. Colloque sur l'Optimisation et les systèmes d'Information COSI, 2008. ,
Tamisier : a privacy preserving technique for distributed constraint satisfaction problems, 1st International Symposium on Operational Research ISOR 2008, pp.2-6, 2008. ,
DDCSP: Constraint Satisfaction Problem Used for Rule-Based System, 2010 International Conference on Data Storage and Data Engineering, 2010. ,
DOI : 10.1109/DSDE.2010.51
L'hybridation la coopération et le parallélisme pour construire des protocoles robustes pour les CSP distribués, 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF), 2008. ,
La préservation de la vie privée des problèmes de satisfaction de contraintes distributes, 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF), 2008. ,
Ecient solving of distributed constraint satisfaction problems through cooperation and parallelism . The 12th World Systemics, Cybernetics and Informatics : WMSCI, 2008. ,
Secure distributed constraint satisfaction problems without using trusted third-party, The 2nd International Conference on Modelling Computation and Optimization in Information Systems and Management Sciences, 2008. ,
Toward a Multicore Reasoning System. 3th Workshop, in Network of the Greater Region for Operational Research and Decision Support Systems, 2010. ,
Contradicting conventional wisdom in constraint satisfaction, Proceedings of eleventh ECAI, pp.125-129, 1994. ,
DOI : 10.1007/3-540-58601-6_86
Conguration as Composite Constraint Satisfaction, Proceedings of the First Articial Intelligence and Manufacturing Research Planning Workshop, 1996. ,
Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem, 1995. ,
Parallel consistent labeling algorithms, International Journal of Parallel Programming, vol.28, issue.1, pp.341-364, 1987. ,
DOI : 10.1145/322108.322119
Better algorithms for parallel backtracking, Parallel Algorithms for Irregularly Structured Problems, pp.333-347, 1995. ,
DOI : 10.1007/3-540-60321-2_27
How to share a secret, Communications of the ACM, vol.22, issue.11, pp.612-613, 1979. ,
DOI : 10.1145/359168.359176
Réseaux de contraintes. Habilitation à diriger les recherches, 2000. ,
Applied cryptography : Protocols, algorithms, and source code in C, 1996. ,
Knowledge Engineering and Management : The CommonKADS Methodology, 2000. ,
Ecient Signature Generation for Smart Cards, proceedings of Advances in Cryptology. CRYPTO'89, pp.239-252, 1990. ,
Asynchronous solving Problems with Privacy Requirements, 2002. ,
Hybridizing ABT and AWC into a polynomial space complete protocol with reordering, 2001. ,
Asynchronously Solving Distributed Problems With Privacy Requirements, 2002. ,
Distributed constraint satisfaction and optimization with privacy enforcement, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)., pp.531-535, 2004. ,
DOI : 10.1109/IAT.2004.1343012
URL : http://www.cs.fit.edu/~msilaghi/papers/IAT04-optimization.pdf
The eect of policies for selecting the solution of a discsp on privacy loss, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, pp.1396-1397, 2004. ,
Path Consistency Revisited, Proceedings of the 5th International Conference on Tools for Articial Intelligence, pp.318-325, 1995. ,
DOI : 10.1109/tai.1995.479619
Dynamic Constraint Satisfaction in Conguration, AAAI'99, Workshop on Conguration, pp.95-100, 1999. ,
Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs), pp.191-198, 1996. ,
Cadral : an automated decisionmaking framework for business collaboration, 12th World Multiconference on Systemics, Cybernetics and Informatics (WMSCI), 2008. ,
Expert tutoring system for teaching mechanical engineering, Expert Systems with Applications, vol.24, issue.4, pp.415-424, 2003. ,
DOI : 10.1016/S0957-4174(02)00183-5
Conception et approches par propagation de contraintes : contribution à la mise en ouvre d'un outil d'aide interactif, Thèse de doctorat, 2005. ,
Dynamic backtracking for dynamic CSP, Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications, 1994. ,
Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches. Revue d, Intelligence Articielle, vol.9, issue.3, pp.269-309, 1995. ,
Yet Another Approach to CCSP for conguration problem, ECAI'00, European Conference on Articial Intelligence, Workshop on Conguration, pp.59-62, 2000. ,
An Experiment with Ontology-Based Agent Clustering. IJCAI-99 Workshop on Ontologies and Problem-Solving Methods : Lessons Learned and Future Trends, 1999. ,
Constraint-based multi-agent meeting Scheduling : Eects of agents heterogeneity on privacy loss, 2002. ,
Reasoning with possibilities in multiagent graph coloring, 4th Intern Workshop on Distributed Consraint Reasoning, pp.122-130, 2003. ,
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving, Artificial Intelligence, vol.161, issue.1-2, pp.209-227, 2005. ,
DOI : 10.1016/j.artint.2004.10.006
Understanding line drawings of scenes with shadows In the Psychology of Computer Vision, pp.19-91, 1975. ,
Environments for Multiagent Systems State-of-the-Art and Research Challenges, Lecture Notes in Computer Science, vol.3374, pp.1-47, 2004. ,
DOI : 10.1007/978-3-540-32259-7_1
URL : https://hal.archives-ouvertes.fr/lirmm-00106417
FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY, Representation and Understanding : Studies in Cognitive Science, 1975. ,
DOI : 10.1016/B978-0-12-108550-6.50012-4
Agent theories, architectures, and languages: A survey, the workshop on agent theories, architectures, and languages on Intelligent agents (ECAI-94), pp.1-39, 1995. ,
DOI : 10.1007/3-540-58855-8_1
CLIPS ??? A powerful development and delivery expert system tool, Computers & Industrial Engineering, vol.17, issue.1-4, pp.1-4, 1989. ,
DOI : 10.1016/0360-8352(89)90121-6
Parallel exact inference on the Cell Broadband Engine processor. Parallel and Distributed Computing, pp.558-572, 2010. ,
On the selection of equity securities: An expert systems methodology and an application on the Athens Stock Exchange, Expert Systems with Applications, vol.36, issue.9, pp.11966-11980, 2009. ,
DOI : 10.1016/j.eswa.2009.03.066
Protocols for secure computations, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982), 1982. ,
DOI : 10.1109/SFCS.1982.38
Distributed constraint satisfaction for formalizing distributed problem solving, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems, pp.614-621, 1992. ,
DOI : 10.1109/ICDCS.1992.235101
Asynchronous weak-commitement search for solving distributed constraint satisfaction problems, Proceedings the First International Conference on Principale and Practice of Constraint Programming (CP-95), pp.88-102, 1995. ,
DOI : 10.1007/3-540-60299-2_6
The distributed constraint satisfaction problem: formalization and algorithms, IEEE Transactions on Knowledge and Data Engineering, vol.10, issue.5, pp.673-685, 1998. ,
DOI : 10.1109/69.729707
Algorithms for agents, pp.165-199, 1999. ,
Algorithms for Distributed Constraint Satisfaction Satisfaction problems : A review, Autonomous Agents & Multi-Agent System, vol.3, pp.198-212, 2000. ,
Secure distributed constraint satisfaction: reaching agreement without revealing private information, Artificial Intelligence, vol.161, issue.1-2, pp.229-245, 2005. ,
DOI : 10.1016/j.artint.2004.10.007
Parallel and Distributed Finite Constraint Satisfaction : Complexity, Algorithms and Experiments. Parallel Processing for Articial Intelligence, 1993. ,
DOI : 10.1016/b978-0-444-81704-4.50018-1
Synchronous vs asynchronous search on DisCSP, Proceedings European. Wokshop on Multi Agent system, 2003. ,
Concurrent backtrack search for DisCSP, Proceedings FLAIRS-04, 2004. ,
Concurrent Dynamic Backtracking for Distributed CSPs, Proceedings Constraint Programming, pp.782-787, 2004. ,
DOI : 10.1007/978-3-540-30201-8_66