(17) Hierarchical Constraint Parallel Solver: P-CHAL
Machine: Multi-PSI
Environment: PIMOS
Language: GDCC
Source Code: 17 KB
Documents: None
Overview
A parallel solver for constraint hierarchy which introduces hierarchy
in terms of strength of constraints.
System Architecture
Function
Hierarchical constraint parallel solver P-CHAL is based on new
programming paradigm "constraint programming" which allows user a
high-level description in problem solving. P- CHAL is a parallel
consrraint solver which manipulates various strength of constraints in
various domains.
- Parallel Solving of Constraint Hierarchy:
- P-CHAL reduces computational costs by a bottom-up calculation of
maximal consistent sets and parallel processing of GDCC.
- Constraints Solvers for Various Domains
- P-CHAL provides constraint solvers for non-linear algebraic
equations and Boolean equations for various domains of users. User can
specify various strength for these constraints.
Reference
- Satoh,K.,"Formalizing Soft Constraints by Interpretation
Ordering",Proceedings of the Ninth European Conference on Artificial
Intelligence,pp.585 - 590,Stockholm,Sweden(1990).
FTP
- Hierarchical Constraint Parallel Solver: P-CHAL [24K]
www-admin@icot.or.jp