Login / Signup
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