Lectura Tesi Doctoral Scheduling through logic-based tools Elaborada per: Sr. Jordi Coll Caballero Direcció: Dr. Josep Suy Franch i Dr. Mateu Villaret Auselle