Automated Exercise Generation for Satisfiability Checking.

Erika Ábrahám Jasper Nalbach Valentin Promies

Published in: FMTea (2023)

Keyphrases

semi automated
information systems
multimedia
pattern recognition
fully automatic
learning algorithm
database systems
image analysis
context sensitive
generation process