PhD TESIS: IGNASI ABÍO ROIG

When

May 15, 2013 from 10:00 AM to 12:10 PM (Europe/Madrid / UTC200)

Where

Aula Teleensenyament. Building B3. Campus Nord. UPC

Add event to calendar

iCal


PhD  COMPUTING THESIS DEFENSE

 

Date: May 15, 2013, time: 10:00 h

Aula Teleensenyament. Building B3.

Campus Nord. UPC

 

 

Solving Hard Industrial Combinatorial Problems with SAT

Ignasi Abío Roig

Advisors:  Dr. Roberto  Nieuwenhuis,

Dr. Albert Oliveras, Dr. Enric Rodríguez