COINS: a constraint-based interactive solving system

Simple item page
dc.creatorOuis, Samir
dc.creatorJussien, Narendra
dc.creatorBoizumault, Patrice
dc.date2002-07-11
dc.date2002-07-12
dc.date.accessioned2026-07-07T03:18:39Z
dc.date.available2026-07-07T03:18:39Z
dc.descriptionThis 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.
dc.description15 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052
dc.identifierhttps://arxiv.org/abs/cs/0207046
dc.identifierhttp://arxiv.org/abs/cs/0207046
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31200
dc.subjectSoftware Engineering
dc.subjectD.1.6; D.2.5; D.2.6; F.4.1; I.2.3
dc.titleCOINS: a constraint-based interactive solving system
dc.typetext

Files

Collections

arXiv