Co-Certificate Learning with SAT Modulo Symmetries.

Markus Kirchweger Tomás Peitl Stefan Szeider

Published in: CoRR (2023)

Keyphrases

learning process
learning algorithm
reinforcement learning
supervised learning
learning systems
online learning
unsupervised learning
learning tasks
learning analytics
learning community
learning scheme