Work-In-Progress: Safe and Secure Configuration Synthesis for TSN using Constraint Programming.
Niklas ReuschPaul PopSilviu S. CraciunasPublished in: RTSS (2020)
Keyphrases
- answer set programming
- constraint programming
- constraint logic programming
- logic programming
- combinatorial problems
- finite domain
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- integer programming
- column generation
- search strategies
- constraint solver
- global constraints
- np hard problems
- symmetry breaking
- constraint optimization
- arc consistency
- search heuristics
- constraint solving
- itemset mining
- backtrack search
- constraint problems
- hard and soft constraints
- genetic algorithm
- constraint networks
- propositional satisfiability
- highly efficient
- search strategy
- evolutionary algorithm