claminos / Unibo-CDMO-Project

Combinatorial Decision Making and Optimization project of the Artificial Intelligence course of study at the University of Bologna

VLSI - Very Large Scale Integration

Master of Artificial Intelligence - Combinatorial Decision Making and Optimization

Team Components

Matteo Nestola - [e-mail]

Simona Scala - [e-mail]

Sara Vorabbi - [e-mail]

Overview

The objective of this project is to implement three models for the VLSI problem with three different paradigm: Constraint Programming (CP), Satisfiability Modulo Theory (SMT), Mixed Integer Programming (MIP).

Folder

In each src folder of every paradigm is included a README with the instructions for the excution of the corrisponding model.