Past Projects

Year 2009/2010

• Local Search with Cycle Cut Set for Graph Colouring
  

• Distributed Constraint Optimisation: the DPOP algorithm

• Gashnig's Backjumping

• DPLL Implementation (Different Splitting Heuristics)
  

• DPLL Implementation (Interactive)
  

• DPLL Implementation

• Winner Determination for Combinatorial Auctions

• Algoritmi di Path Consistency: confronto tra PC1 e PC2

Year 2010/2011

• Risoluzione del Sudoku mediante backtracking

• Wumpus World: aspetti di ragionamento e verifica

• CNF-SAT: Sat Solver with Backtracking and Graph-Based Backjumping

• Gestione efficiente dell'energia tramite Simulated Annealing

• Formazione di coalizioni per l'uso intelligente di energia