Keyphrases
- discrete optimization
- optimization problems
- global optimization
- modal logic
- optimization algorithm
- real time
- optimization method
- optimization methods
- constrained optimization
- sound and complete axiomatization
- predicate logic
- joint optimization
- classical logic
- optimal design
- inference rules
- logic programming
- search algorithm
- case study
- machine learning