Co-Certificate Learning with SAT Modulo Symmetries.

Markus Kirchweger Tomás Peitl Stefan Szeider

Published in: IJCAI (2023)

Keyphrases

learning process
learning problems
learning algorithm
active learning
online learning
learning scheme
neural network
prior knowledge
knowledge acquisition
learning scenarios
machine learning
genetic algorithm
learning environment
learning systems
satisfiability problem
inductive inference