Departamento de Teoria da Computação   Produções / Resumos Publicados Resumos publicados em anais de congressos (internacional)   1.   Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "Solving a Real World Crew Rostering Problem with Integer Programming and Constraint Logic Programming Models", 08/2000, CIENTÍFICO INTERNACIONAL, 17th International Symposium on Mathematical Programming, Vol. 1, pp.50-50, Atlanta, ESTADOS UNIDOS, 2000   2.   Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "A Hybrid Approach for Solving Large Scale Crew Scheduling Problems", 01/2000, CIENTÍFICO INTERNACIONAL, Second Int.Workshop on Practical Aspects of Declarative Languages, Vol. 1753, pp.293-307, Boston-MA, ESTADOS UNIDOS, 2000