Constraint Solver Requirements for Interactive Configuration.
Andreas A. FalknerAlois HaselböckGerfried KramesGottfried SchennerRichard TaupePublished in: ConfWS (2019)
Keyphrases
- constraint solver
- product configuration
- constraint satisfaction problems
- constraint solving
- constraint satisfaction
- constraint propagation
- linear constraints
- constraint programming
- sat solvers
- arc consistency algorithm
- pattern recognition
- constraint solvers
- neural network
- expert systems
- constraint logic programming
- image sequences
- genetic algorithm