Back to Search Start Over

An explanation-based tools for debugging constraint satisfaction problems.

Authors :
Ouis, Samir
Tounsi, Mohamed
Source :
Applied Soft Computing; Sep2008, Vol. 8 Issue 4, p1400-1406, 7p
Publication Year :
2008

Abstract

Abstract: This paper describes an explanation-based tools for constraint programming system. These tools provide to the user the conflicts when it raise during solving process. Our tools simulate constraint additions and/or constraint relaxations without any propagation; it also determine if a given constraint belongs to a conflict and it provide diagnosis tool (e.g. why variable cannot take value val?). With more user-friendly representation of conflicts and explanations, our proposed tools give better problem understanding to the user. We prooved that the proposed tools are efficient, and while there is no debugging system that allow the user to interact with the solver, our explanation-based tools could be used for many other applications. [Copyright &y& Elsevier]

Details

Language :
English
ISSN :
15684946
Volume :
8
Issue :
4
Database :
Supplemental Index
Journal :
Applied Soft Computing
Publication Type :
Academic Journal
Accession number :
34085539
Full Text :
https://doi.org/10.1016/j.asoc.2007.10.019