Applying incremental answer set solving to product configuration.
Richard Comploi-TaupeGiulia FrancescuttoGottfried SchennerPublished in: SPLC (B) (2022)
Keyphrases
- answer sets
- product configuration
- logic programs
- decision support
- answer set programming
- knowledge compilation
- configuration problems
- constraint satisfaction problems
- constraint satisfaction
- logic programming
- process planning
- combinatorial optimization
- constraint programming
- search algorithm
- high level
- databases
- software engineering
- data warehouse
- stable models
- knowledge discovery