Design and Implementation of a Parallel Constraint Satisfaction Algorithm

[1]  Marco Platzner,et al.  Parallel qualitative simulation , 1997, Simul. Pract. Theory.

[2]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[3]  Eric Verhulst,et al.  Virtuoso: A virtual single processor programming system for distributed real-time applications , 1994, Microprocess. Microprogramming.

[4]  Patrick Prosser,et al.  HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM , 1993, Comput. Intell..

[5]  Vipin Kumar,et al.  On the Efficiency of Parallel Backtracking , 1993, IEEE Trans. Parallel Distributed Syst..

[6]  Michael J. Swain,et al.  Arc Consistency: Parallelism and Domain Dependence , 1992, Artif. Intell..

[7]  Alan K. Mackworth,et al.  Parallel and Distributed Finite Constraint Satisfaction: Complexity, Algorithms and Experiments , 1992 .

[8]  Herbert Kay,et al.  A Qualitative Model of the Space Shuttle Reaction Control System , 1992 .

[9]  D. Francis,et al.  Floating-point processors join forces in parallel processing architectures , 1992, IEEE Micro.

[10]  Simon Kasif,et al.  On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks , 1990, Artif. Intell..

[11]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[12]  Alan K. Mackworth.  Constraint Satisfaction , 1985 .

[13]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[14]  Bernhard Rinner,et al.  Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture , 1995 .

[15]  Marco Platzner,et al.  Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation , 1995, J. Univers. Comput. Sci..

[16]  Q. Y. Luo,et al.  STRATEGIES FOR DISTRIBUTED CONSTRAINT SATISFACTION PROBLEMS , 1994 .

[17]  Christophe Lecoutre.  Constraint Networks , 1992 .

[18]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..