Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness. - Kaden Marchetti; Andrija Sevaljevic; Alex Diviney; Caleb Eardley; Russell Phillips; Rajiv Khadka; Daniel Igbokwe; Paul M. Bodily (ITiCSE (1), 2024)