A JavaFX-based tool for visualizing and minimizing DFAs (Deterministic Finite Automata), allowing users to easily create, edit, and optimize state machines.

A generic bounded model checker.

A comprehensive collection of implementations and resources related to the SIMPLEX algorithm.

Implementing Quine-McCluckey algorithm in java with GUI and web application.

A program in Java and QT Jambi to convert an NFA to a DFA and minimize it

An approach to algorithm optimization through circuit minimization techniques.

AFD reader with minimization

UTR FER2 2014./2015

Backtracking. Solve the problem of two headquarters that have their costs and a cost of change.

Determine the minimum cost of a cluster using dynamic programming.

Two greedy algorithms to the problem of choose a headquarters of two , each headquarters had their costs and a cost of changed of headquarters. One algorithm have a selection function with the cost of change an the other without that cost.