COINS: a constraint-based interactive solving system

Details COINS: a constraint-based interactive solving system COINS: a constraint-based interactive solving system

2002-07-11

arxiv.org/abs/cs/0207046v2

Computer Science

Software Engineering

15 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052

Scientific paper

This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation), determines if a given constraint belongs to a conflict and provides diagnosis tools (e.g. why variable v cannot take value val). COINS also uses user-friendly representation of conflicts and explanations.

Affiliated with

Also associated with

No associations

Rating

COINS: a constraint-based interactive solving system 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 COINS: a constraint-based interactive solving system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and COINS: a constraint-based interactive solving system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-185238