Logic optimization with considering boolean relations.
Tung-Yuan LeeChia-Cheng WuChia-Chun LinYung-Chih ChenChun-Yao WangPublished in: DATE (2018)
Keyphrases
- global optimization
- multi valued
- optimization problems
- real valued
- boolean logic
- optimization process
- relation algebra
- modal logic
- semantic relations
- logic programming
- data sets
- combinatorial optimization
- normal form
- optimization algorithm
- boolean functions
- constrained optimization
- optimization model
- learning algorithm
- neural network