17 citations · 18 across the 8 of their papers we have counts for
1 paper · 2 filters
Amogh Inamdar, Uzay Macar, Michel Vazirani +6
The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs re…