Optimization of Null Convenction Logic Using Gate Diffusion Input.
Prashanthi MetkuMinsu ChoiKyung Ki KimYong-Bin KimPublished in: ISOCC (2019)
Keyphrases
- optimization algorithm
- modal logic
- constrained optimization
- multiple input
- optimization problems
- predicate logic
- logic programming
- global optimization
- optimization method
- anisotropic diffusion
- discrete optimization
- deontic logic
- combinatorial optimization
- optimization model
- multi valued
- logical framework
- classical logic