ABOUT US

Welcome to Redux, a platform for NP-Complete problems. Input your challenges and gain access to reductions, solutions, verifiers, and visualizations. Join our community of problem solvers and unravel computational complexities using the application library. The project was greatly inspired by Richard Karp's paper "Reducibility Among Combinatorial Problems" (Karp, 1972).

PUBLICATIONS

Below are research publications associated with the Redux project and its contributors.

R. Phillips and P. M. Bodily, "Spade: A library for programmatic parsing and verification of discrete data structures," 2025 Intermountain Engineering, Technology and Computing (IETC), pp. 1–5, IEEE, 2025. [PDF]

K. Marchetti, A. Sevaljevic, A. Diviney, R. Phillips, C. Eardley, R. Khadka, D. Igbokwe, and P. M. Bodily, "Redux: An interactive, dynamic knowledge base for teaching NP-completeness," Proceedings of the 29th annual ACM conference on Innovation and Technology in Computer Science Education (ITiCSE), 2024. [PDF]

A. Sevaljevic and P. M. Bodily, "Comparative empirical analysis of dancing links implementations to solve the exact cover problem," Proceedings of the 4th Intermountain Engineering, Technology, and Computing Conference (i-ETC), pp. 255–258, IEEE, 2024. [PDF]

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. [PDF]

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. [PDF]

CONTRIBUTORS

This project was started by Dr. Paul Bodily, who is also the ISU Faculty Sponsor of the project.

Project contributors

Kaden Marchetti

Caleb Eardley

Daniel Igbokwe

Alex Diviney

Janita Aamir

Andrija Sevaljevic

Garret Stouffer

Alex Svancara

Eric Hill

Porter Glines

Show Pratoomratana

Russell Phillips

Michael Crapse

Ian Gonzalez

Sabal Subedi

Himanshu Jha

Max Grünwoldt

Paul Gilbreath

Sansar Kharal

Pratham Khanal

George Lake

Grant Gardner

Jason Wright

Andreas Kramer

Courtney Bodily

Rakesh Itani

David Lindeman

LEARN MORE

Additional documentation can be found at the following links:

• Github • Wikipedia: What is NP-Complete?• Karp's 21 NP-Complete Problems • Redux GUI Documentation • Redux Backend Documentation • API Swagger Documentation