Modelling 3-Coloring of Polygonal Trees via Incremental Satisfiability.

Cristina López-Ramírez Guillermo De Ita Luna Alfredo Neri

Published in: MCPR (2018)

Keyphrases

decision trees
np complete
incremental learning
satisfiability problem
propositional logic
optimal solution
data driven
tree structures
decision procedures
tree construction
tree models
database
genetic algorithm
tree structure
sat problem
terminological reasoning