A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
Conor DugganZhengyu LiCurtis BrightVijay GaneshPublished in: AAAI (2024)
Keyphrases
- computer algebra
- theorem prover
- model checking
- sat solvers
- satisfiability problem
- high level
- knowledge level
- temporal logic
- intelligent tutoring systems
- student learning
- learning process
- student model
- learning styles
- boolean satisfiability
- low level
- search algorithm
- automated theorem provers
- formal verification
- sat problem
- automated reasoning
- online course
- phase transition
- learning environment
- undergraduate students
- high school students
- sat solving
- verification method
- artificial intelligence
- probabilistic model