Open AccessUne approche CSP pour l'aide à la localisation d'erreurs
Author(s) -
Mohammed Bekkouche,
Hélène Collavizza,
Michel Rueher
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - bounded function , constraint (computer aided design) , graph , computer science , algorithm , control flow , mathematics , constraint satisfaction problem , discrete mathematics , artificial intelligence , programming language , mathematical analysis , geometry , probabilistic logic