Revisiting the Learned Clauses Database Reduction Strategies.

Saïd Jabbour Jerry Lonlac Lakhdar Saïs Yakoub Salhi

Published in: Int. J. Artif. Intell. Tools (2018)

Keyphrases

database
databases
database systems
database applications
case study
first order logic
data management
data model
learning algorithm
knowledge base
search engine
genetic algorithm
management system
information retrieval
machine learning
neural network
constraint satisfaction
oracle database
phase transition