Constraint-based and SAT-based diagnosis of automotive configuration problems.
Rouven WalterAlexander FelfernigWolfgang KüchlinPublished in: J. Intell. Inf. Syst. (2017)
Keyphrases
- configuration problems
- difficult problems
- constraint satisfaction
- constraint satisfaction problems
- product configuration
- industrial applications
- answer set programming
- model based diagnosis
- sat solvers
- bounded model checking
- constraint solver
- databases
- sat encodings
- logic programs
- domain specific
- special case
- relational databases
- computational complexity
- version space
- objective function
- artificial intelligence