Software Systems Lab
Overview Downloads
Project Title: Sat solving maximization and minimization problems
Students:
Supervisor:
Description:
Solving the MAS problem by performing reduction to the SAT problem and solving it using a SAT-solver.
all completed projects