Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class.

Shin Hong

Browse the full SIGCSE paper archive.