C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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