Flexibility and Optimization of QBF Skolem-Herbrand Certificates.
Valeriy BalabanovShuo-Ren LinJie-Hong R. JiangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2016)
Keyphrases
- first order logic
- optimization algorithm
- logic programs
- logic programming
- optimization problems
- probabilistic reasoning
- multi objective
- artificial intelligence
- machine learning
- global optimization
- access control
- expert systems
- inductive logic programming
- optimization methods
- propositional logic
- theorem proving
- neural network