Toward Determining NFA Equivalence via QBFs (Student Abstract).
Hannah MillerDavid E. NarváezPublished in: AAAI (2021)
Keyphrases
- learning environment
- knowledge level
- student learning
- higher level
- quantified boolean formulas
- high level
- student model
- intelligent tutoring systems
- learning styles
- online course
- tutoring system
- learning process
- statistically significant
- online learning
- undergraduate students
- practical problems
- data model
- string matching
- high school students
- finite state automata