Paul Bodily About Courses Research Outreach Tips for Communicating Teaching Philosophy Vitae

Redux

We are building a dynamic, interactive pedagogical visualization tool to help teach the concept of NP-completeness. In particular, the tool includes a knowledgebase of NP-compelte problems, reductions, solutions, and verification algorithms. Visit Redux.

Publications:

  • K. Marchetti and P. Bodily, "Visualizing the 3SAT to CLIQUE Reduction Process," 2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-5, doi: 10.1109/IETC54973.2022.9796851.
  • K. Marchetti and P. Bodily, "KAMI: Leveraging the power of crowd-sourcing to solve complex, real-world problems," 2022 Intermountain Engineering, Technology and Computing (IETC), Orem, UT, USA, 2022, pp. 1-4, doi: 10.1109/IETC54973.2022.9796945.