Automated Exercise Generation for Satisfiability Checking.

Erika Ábrahám Jasper Nalbach Valentin Promies

Published in: FMTea (2022)

Keyphrases

semi automated
computer aided
fully automated
generation process
data driven
generation algorithm
case study
three dimensional
similarity measure
bayesian networks
multi agent
learning environment