Paul Bodily

Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness

2024

Whereas interactive dynamic visualization tools have been successfully developed and used for teaching some topics in computational theory (CT), there remains a noticeable lack of such tools for teaching NP-completeness which continues to be widely …