Research on a Parallel Constraint Solver System on a Grid Computing Environment

点击翻译按钮获取中文摘要

The followings are the main research results of this project.・ Research and Development of a Constraint SolverA constraint solver named Sugar is developed. The sugar solver solves a. finite linear CSP and COP by translating it into a SAT problem using a new SAT encoding method called order encoding and then solving the translated SAT problem with a SAT solver.・ Research and Development of a Parallel Constraint SolverA parallel constraint solver system based on the above order encoding method is developed. The system was able to solve three undecided open-shop scheduling problems.・ Research and Development of a User Friendly Interface of a Constraint SolverCalc/Cream system which is a spreadsheet interface of a constraint solver is developed.