A New Incomplete Method for CSP Inconsistency Checking.
Belaid BenhamouMohamed Réda SaïdiPublished in: AAAI (2008)
Keyphrases
- detection method
- decomposition method
- experimental evaluation
- objective function
- computational complexity
- synthetic data
- cost function
- dynamic programming
- high accuracy
- clustering method
- data sets
- missing data
- fully automatic
- theoretical analysis
- probabilistic model
- preprocessing
- decomposition methods
- high precision
- classification method
- constraint satisfaction problems
- significant improvement
- bayesian networks