COINS: a constraint-based interactive solving system

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
15 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052

Keywords

Software Engineering, D.1.6; D.2.5; D.2.6; F.4.1; I.2.3

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/31200

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0207046
 http://arxiv.org/abs/cs/0207046

Collections

arXiv