1 paper
Yiqi Zhao, Ziyan An, Meiyi Ma +1
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational p…