Modelling Constraint Solver Architecture Design as a Constraint Problem

Details Modelling Constraint Solver Architecture Design as a Constraint Problem Modelling Constraint Solver Architecture Design as a Constraint Problem

2011-10-28

arxiv.org/abs/1110.6290v1

Computer Science

Artificial Intelligence

Scientific paper

Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and modification have been ad-hoc and limited. We present a system that transforms a description of the components and the characteristics of the target constraint solver into a constraint problem. Solving this problem yields the description of a valid solver. Our approach represents a significant step towards the automated design and synthesis of constraint solvers that are specialised for individual constraint problem classes or instances.

Affiliated with

Also associated with

No associations

Rating

Modelling Constraint Solver Architecture Design as a Constraint Problem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modelling Constraint Solver Architecture Design as a Constraint Problem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling Constraint Solver Architecture Design as a Constraint Problem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-686012