Fast Logic Optimization Using Decision Trees.
Brunno A. AbreuAugusto Andre Souza BerndtIsac de Souza CamposCristina MeinhardtJonata T. CarvalhoMateus GrellertSergio BampiPublished in: ISCAS (2021)
Keyphrases
- decision trees
- optimization problems
- optimization algorithm
- logic programming
- optimization method
- optimization process
- training data
- naive bayes
- predictive accuracy
- classical logic
- optimization methods
- machine learning
- modal logic
- global optimization
- optimization model
- automated reasoning
- decision tree induction
- feature construction
- discrete optimization
- predicate logic