Using Constraint Programming to Reason on Feature Models.
David BenavidesPablo TrinidadAntonio Ruiz CortésPublished in: SEKE (2005)
Keyphrases
- constraint programming
- combinatorial problems
- constraint propagation
- constraint satisfaction problems
- search strategies
- integer programming
- np hard problems
- constraint satisfaction
- global constraints
- search heuristics
- constraint solving
- temporal reasoning
- column generation
- machine learning and data mining
- itemset mining
- constraint logic programming
- objective function