Learning SMT(LRA) Constraints using SMT Solvers.

Samuel Kolb Stefano Teso Andrea Passerini Luc De Raedt

Published in: IJCAI (2018)

Keyphrases

learning algorithm
learning process
learning tasks
active learning
reinforcement learning
knowledge acquisition
learning problems
mobile learning
learning systems
neural network
background knowledge
online learning
natural language
bayesian networks
constraint programming
global constraints
constraint solving