Learning the Satisfiability of Ł-clausal Forms.

Mohamed El Halaby Areeg Abdalla

Published in: SAI (2) (2020)

Keyphrases

learning systems
learning algorithm
learning process
active learning
data sets
lower bound
supervised learning
knowledge acquisition
learning tasks
e learning
reinforcement learning
unsupervised learning
learning scenarios
satisfiability problem
constraint propagation
learning scheme