COINS: a constraint-based interactive solving system
Software Engineering
2007-05-23 v2
Abstract
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.
Cite
@article{arxiv.cs/0207046,
title = {COINS: a constraint-based interactive solving system},
author = {Samir Ouis and Narendra Jussien and Patrice Boizumault},
journal= {arXiv preprint arXiv:cs/0207046},
year = {2007}
}
Comments
15 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052