This document can give you valuable experience in times of solving CSP problems, consistency issues, filtering, modeling and satisfaction problems. We eventually detailed and explained the P vs. NP problem.
Techniques in CHOCO Solver have been used.
The project in this module relies on developing a Java application that handles the Bin Packing problem, which consists of creating the most difficult instances for the solver.
