Systematic approximate logic optimization using don't care conditions.
Sahand SalamatMehrnaz AhmadiBijan AlizadehMasahiro FujitaPublished in: ISQED (2017)
Keyphrases
- optimization algorithm
- discrete optimization
- optimization process
- long term
- optimization method
- sufficient conditions
- databases
- logic programming
- logical framework
- global optimization
- health care
- logic programs
- optimization problems
- simulated annealing
- multi objective
- modal logic
- optimization methods
- database systems
- case study
- nonmonotonic logics
- information retrieval