Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract).
Hannah MillerPublished in: AAAI (2022)
Keyphrases
- student learning
- learning environment
- knowledge level
- satisfiability problem
- learning styles
- online course
- sat solvers
- search algorithm
- student model
- b spline
- intelligent tutoring systems
- high level
- lower bound
- high school students
- educational environment
- search strategies
- low level
- learning process
- stochastic local search
- boolean satisfiability
- image mosaics
- science education
- phase transition
- high school
- particle filter
- np hard
- video sequences