APLICAC

AO DE PROGRAMAC

AO POR METAS PARA A GERAC

AO
DE HOR

ARIOS DE EXAMES PARA O COL

EGIO DE APLICAC

AO DA
UNIVERSIDADE FEDERAL DE VIC OSA - COLUNI
Resumo. Em diversas instituic oes de ensino as avaliac oes das disciplinas sao
executadas em um mesmo perodo. Devido `a importancia deste momento, o
planejamento do mesmo e imprescindvel. No Colegio de Aplicacao da Uni-
versidade Federal de Vicosa COLUNI, todas as series fazem os exames da
mesma disciplina no mesmo dia e horario sendo que e normal a ocorrencia de
duas provas por dia. Desta forma, surgem objetivos que visam nao prejudicar
alunos e professores. Neste trabalho e proposta uma grade de horarios de
exames a partir de modelos matematicos que combinam Programac ao Linear
Inteira e Programacao por Metas a m de minimizar o trabalho feito pela co-
ordenac ao do colegio, em vista que o modelo e resolvido computacionalmente
com auxlio das bibliotecas do CPLEX, e respeitar os criterios utilizados pela
mesma.
Palavras Chave: Programac ao Linear Inteira, COLUNI, Programacao de
Horarios de Exames, Programacao por Metas
1 Introducao
O processo de avaliac ao consiste em um importante momento do ano letivo
de diversas instituicoes de ensino no Brasil. Em muitas delas, a denic ao
do horario e dia da avaliac ao ca a cargo do professor da disciplina ou do
departamento em que o mesmo pertence, sendo este ultimo caso comum em
universidades. Em algumas instituic oes, as avalia coes de todas as disciplinas
sao feitas em um mesmo perodo, muito conhecido como semana de provas.
Diante dessa situacao e devido `a sua importancia, ha a necessidade de um
bom planejamento da localizac ao no espaco e tempo destes eventos, porque
tudo deve ser feito de uma forma que nao comprometa a didatica.
O problema abordado neste trabalho e a elaboracao de uma grade de
avaliac ao anual do Colegio de Aplicacao da Universidade Federal de Vicosa
1
(COLUNI), o qual atende ao ensino medio. Este e um Problema de Pro-
gramac ao de Horarios Exames (PPHE), um problema combinatorial de difcil
resoluc ao e que faz parte da classe de Problemas de Programacao de Horarios
(PPH). O problema consiste em alocar um conjunto de exames a perodos,
sendo que estes exames serao executados por determinados grupos de alunos
(SANTOS E SOUZA, 2007, p.15).
Especicamente, no problema do COLUNI e necessario alocar avaliac oes
de no maximo duas disciplinas por dia em um perodo avaliativo de aproxi-
madamente uma semana. Esse processo avaliativo ocorre oito vezes durante
o ano, sendo as disciplinas reorganizadas nos dias de cada perodo. A ne-
cessidade de reorganizacao das disciplinas em cada perodo decorre de obje-
tivos estabelecidos pela coordenadora do colegio que inclusive motivaram a
utilizac ao da metodologia de Programacao por Metas (PM). Tais objetivos
visam prejudicar o mnimo possvel professores e alunos, como por exemplo e
levado em conta o tempo que um professor tem para corrigir suas respectivas
avaliacoes, buscando-se uma igualdade entre todos para que nenhum tenha
privilegios.
Para resolver um PPH, o que tambem inclui os PPHEs, um metodo
comumente utilizado e a Programac ao Linear Inteira (PLI). Ao utilizar a
PLI, procura-se distribuir recursos limitados da melhor forma possvel. A
limitac ao dos recursos e expressa matematicamente por equac oes e/ou ine-
quac oes que sao chamadas de restricoes do modelo. A melhor forma de
distribuir estes recursos e chamada de soluc ao otima, que no caso e a me-
lhor dentre todas as solucoes possveis, ou seja, soluc oes que atendem `as
restric oes. O objetivo e encontrar a melhor forma de se distribuir os recur-
sos, o qual estara representado por uma funcao denominada func ao objetivo
que sera minimizada ou maximizada (ANDRADE, SCARPIN E STEINER,
2012, p.4).
Em um PPHE, sao comuns restricoes para evitar que um mesmo aluno
seja designado para fazer mais de um exame ao mesmo tempo, que tratam da
disponibilidade de salas que comportem adequadamente o n umero de alunos
e sobre a disponibilidade de supervisores de exames (CARTER, LAPORTE
e LEE, 1996, p.1).
Ainda assim, alguns conjuntos de restricoes para esse tipo de problema
sao bastante dependentes da instituicao de ensino e do sistema educacio-
nal adotado pela mesma. No problema em questao, para elaborar a grade
horaria a coordenadora da escola dene objetivos que inclusive possuem certa
hierarquia. Esta denic ao de prioridades justica a aplicac ao da PM, uma
2
metodologia que busca tornar possvel a resoluc ao de Problemas com Mul-
tiplos Objetivos (PMO) por metodos convencionais de Programac ao Linear
(PL). Na secao seguinte sera comentado mais sobre a PM.
Em resumo, no presente trabalho sera utilizada PLI para fazer a mo-
delagem matematica do problema e a metodologia de PM, em especco o
metodo dos pesos, para desenvolver o modelo matematico para elaborac ao
de uma grade de avaliac ao anual para COLUNI. Para a resolucao do modelo
desenvolvido, utilizou-se o software IBM ILOG CPLEX Optimization Studio,
comumente referenciado como CPLEX. O CPLEX e um pacote de softwa-
res para otimizac ao que contem, entre outros, o CPLEX Optimizer que e
utilizado para solucionar modelos de Programac ao Matematica.
Na secao 2 e abordado sobre a PM. Na secao seguinte, e feita a descric ao
do problema. Na sec ao 4, o modelo de PLI e apresentado e e aplicada a PM.
Os resultados computacionais e as conclusoes retiradas apos a resoluc ao do
modelo se encontram na sec ao 5. Os agradecimentos sao feitos na secao 6 e
na sec ao 7 estao as referencias bibliogracas citadas.
2 Programacao por Metas
Por volta de 1952 e o perodo atribudo ao surgimento da PM, sendo que
o termo goal programming, comumente utilizado, foi cunhado 10 anos mais
tarde em publicacoes de Charnes e Cooper (CHARNES E COOPER, 1977,
p.39).
A PM pode ser considerada uma generalizacao do conceito de PL que visa
contornar as limitacoes dos seus modelos, sendo que os mesmos possuem res-
tric oes que podem deixa-los sem solucao ou com difcil resolucao. Os modelos
de PL possuem restricoes fortes que nao podem ser violadas. Contudo, na
pratica tais imposic oes podem nao ser tao restritivas, sendo plausvel haver
uma tolerancia para uma dada restricao. Sendo assim, sao criadas variaveis
para representar os desvios positivos e negativos da meta a ser atingida na
restric ao e e includo na func ao-objetivo, utilizando os devidos metodos, a
m de minimizar os desvios da meta.
Surge a necessidade, portanto, de serem denidas as prioridades de cada
meta a ser atingida. Neste momento e evidente a importancia do decisor
na PM, sendo ele responsavel por denir tais prioridades. O maior desao
da otimizac ao multiobjetivo e encontrar solucoes que otimizem simultanea-
mente todos os objetivos, dado que em diversos casos estes sao conitantes
3
(GOMES, 2004).
Neste trabalho, procurou-se tratar o problema particionando os criterios
(objetivos) utilizados pela coordenadora e identicando suas prioridades.
Desta maneira, o problema tornou-se multiobjetivo sendo, ent ao, necessaria
uma abordagem especca para o PMO com o objetivo de encontrar soluc ao
para o mesmo. A Programacao por Metas e uma reformulac ao de PMO am-
plamente utilizada e com um grande n umero de casos de sucesso (UR

IA et
al, 2002).
Existem dois metodos mais utilizados para resoluc ao desses problemas,
o metodo dos pesos e metodo hierarquico. Ambos baseiam-se em uma es-
trategia de transformar multiplos objetivos em apenas um. Para a resolucao
do problema do COLUNI foi utilizado o metodo dos pesos, o qual consiste
em formar uma unica funcao objetivo composta da soma ponderada dos ob-
jetivos (ARENALES et al, 2007).
Na secao seguinte o problema sera descrito, sendo expostas suas especi-
cidades e quais sao as metas determinadas pela coordenadora do colegio.
3 Descricao do Problema
Localizado no campos da UFV, o Colegio de Aplicac ao - Coluni dispoe de
modernas instalacoes alem de salas de projec oes e laboratorios equipados
de fsica, qumica, biologia e humanidades. Conta com professores que tra-
balham em regime de dedicac ao exclusiva, o que permite um melhor atendi-
mento para o aluno. Durante sua historia, o COLUNI se tornou uma escola de
referencia de um ensino de qualidade e segue sendo o melhor colegio p ublico
de Minas Gerais, sendo tambem considerado modelo para muitas instituic oes
de ensino.
Anualmente e elaborada a grade de avaliacoes do COLUNI. Sao 8 perodos
de avaliac oes durante o ano e em cada um deles as provas das 11 disciplinas
existentes acontecem aproximadamente durante uma semana. Geralmente,
o n umero de dias por perodo disponveis para a aplicac ao das provas e me-
nor do que 11, o que implica na alocacao de mais de uma avaliacao por dia.
Existem doze turmas, sendo quatro turmas para cada um dos tres anos do
Ensino Medio. Todas as turmas prestam os exames ao mesmo tempo e das
mesmas disciplinas, podendo acontecer no maximo duas provas por dia.
Dentro destas caractersticas, e necessario distribuir as provas nos dias
dos perodos de forma que acontecam as avalia coes de todas as disciplinas
4
somente uma vez em cada perodo, no maximo acontecam duas provas por
dia e ainda que sejam atingidos os seguintes objetivos:
1. Se uma disciplina foi alocada para o pen ultimo ou ultimo dia da se-
mana, ela nao deve ser mais alocada respectivamente para esses dias
nos outros perodos.
2. As disciplinas sao divididas em 4 grupos diferentes. Para um mesmo
dia, disciplinas pertencentes ao mesmo grupo nao devem ser alocadas.
Os grupos sao:
2.1 Matematica e Fsica
2.2 Biologia e Qumica
2.3 Historia, Geograa, Filosoa e Sociologia
2.4 Portugues, Ingles e Espanhol
Estes sao objetivos denidos pela coordenadora do COLUNI, os quais vi-
sam contribuir com a didatica, favorecendo alunos e professores. O objetivo
1 e evitar que um mesmo professor seja prejudicado tendo menos tempo para
corrigir sua respectiva prova, visto que os resultados devem ser divulgados
ate um determinado dia e o professor da disciplina alocada para o ultimo
dia tem menos tempo para corrigi-la do que um alocado para os primeiros
dias. Portanto, tenta-se evitar que uma mesma disciplina seja alocada mais
de uma vez para os ultimos dias dos perodos.
Ja o objetivo 2 e evitar que os alunos quem prejudicados com a alocac ao
de mais de uma prova por dia, sendo considerado que existem pares indese-
jados que a coordenadora dene como disciplinas de mesma natureza.
As disciplinas e seus respectivos ndices i sao denos de acordo com a
Tabela 1.
Tabela 1 - Disciplinas e seus respectivos ndices
5
i Disciplina
1 Filosoa
2 Sociologia
3 Ingles
4 Espanhol
5 Biologia
6 Portugues
7 Historia
8 Geograa
9 Qumica
10 Matematica
11 Fsica
A elaborac ao manual feita pela coordenac ao do colegio muitas vezes e
um processo que demanda muito esforco. Portanto, um modelo matematico
resolvido computacionalmente tem capacidade para melhorar este processo.
4 Formulacao Matematica
Nesta secao sera apresentado o modelo basico de PLI para o PPHE do CO-
LUNI e a seguir, para a denic ao da func ao objetivo e consequentemente
resoluc ao do problema, a aplicacao da metodologia de PM.
4.1 Modelo basico
O PPHE do COLUNI consiste em distribuir as provas das disciplinas i nos
dias d de cada perodo t. Para cada disciplina haver a uma e somente uma
prova por perodo, a qual devera ocorrer em algum dos dias do mesmo. Em
um dado dia podem ocorrer no maximo duas provas, portanto a vari avel
binaria x
ijdt
e denida para representar se haver a prova das disciplinas i e j,
com i, j I, no dia d do perodo t, sendo I o conjunto de todas as disciplinas.
x
ijdt
=
{
1, se havera prova das disciplinas i e j no dia d do perodo t
0, caso contrario
Sabendo que as variaveis x
ijdt
e x
jidt
representam o mesmo par, as vari aveis
de decisao que serao consideradas sao as tais que i j. Para o caso i = j,
6
a variavel x
iidt
representa se haver a somente a prova da disciplina i no dia d
do perodo t.
Com isto, e possvel denir as restric oes do modelo, sendo considerados
os devidos parametros:
D
t
Conjunto dos dias d do perodo t disponveis para aplicacao de prova
|D
t
| N umero de elementos do conjunto D
t
I Conjunto de disciplinas: I = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
|I| N umero de elementos do conjunto I
|T| N umero de perodos t
As restric oes sao as seguintes:
|I|

j=1
ij
|I|

i=1
x
ijdt
1 t {1, . . . , |T|}, d D
t
(1)

dD
t

j=1
x
jidt
+
|I|

j=i+1
x
ijdt

= 1 t {1, . . . , |T|}, i I (2)

|T|

t=1
x
ij(|D
t
|1|)t
1 i, j {1, . . . , I} (3)
|T|

t=1
x
ij|D
t
|t
1 i, j {1, . . . , I} (4)
x
ijdt
{0, 1} (5)
A restricao (1) impedira que mais de duas avaliac oes sejam alocadas para
um mesmo dia d de um mesmo perodo t. A restric ao (2) garantir a que a
avaliacao da disciplina i prevista para um perodo t, aconteca uma e somente
uma vez em algum dos dias d do perodo em questao. A restric ao (3) garante
que se uma avaliac ao de uma disciplina i for alocada para o pen ultimo dia de
um dos |T| perodos, ela nao sera alocada para o pen ultimo dia de nenhum
dos outros perodos. A restric ao (4) faz o mesmo que a (3), no entanto para
7
os ultimos dias dos perodos. A vari avel x
ijdt
e binaria.
No geral, em um perodo de provas existirao menos dias disponveis para
aplicac ao do que disciplinas. Isso implica na ocorrencia de mais de um exame
por dia, existindo ent ao diversas combina coes possveis sendo que algumas
destas sao indesejadas. No problema em questao, deseja-se evitar que exa-
mes de disciplinas consideradas de mesma natureza sejam alocadas para um
mesmo dia de um determinado perodo. Devem ser considerados, entao,
subconjuntos I
k
, com k {1, 2, 3, 4}, do conjunto I que de acordo com as
denic oes da coordenadora do COLUNI sao:
I
1
= {10, 11} I
2
= {5, 9} I
3
= {1, 2, 7, 8} I
4
= {3, 4, 6}
Em resumo, e prefervel que sejam iguais a zero as variaveis x
ijdt
que
tenham i e j pertencendo simultaneamente a algum dos subconjuntos an-
teriormente denidos. Excetuando-se estas combina coes, restam os demais
pares de i e j que nao pertencem aos subconjuntos I
k
e os pares i e j tais que
i = j. Dentre estes dois subgrupos de combinac oes anteriormente citados,
deve-se observar que ha uma prioridade em que sejam zero as variaveis x
ijdt
de um em relac ao ao outro, visto que e mais vantajoso alocar para um dia
somente uma prova do que duas.
Diante das observacoes anteriores, nota-se que surgem objetivos e que
estes tem uma certa hierarquia. As decisoes a serem tomadas podem ser au-
xiliadas com a metodologia de programac ao por metas, utilizada na subsec ao
seguinte para denir a func ao objetivo do problema. A metodologia e con-
veniente tambem para contornar uma possvel infactibilidade do problema
causada pelas fortes restric oes (3) e (4).
4.2 Aplicacao de Programacao por Metas
De acordo com a denic ao da coordenacao do COLUNI, se uma disciplina
e alocada para o pen ultimo ou ultimo dia da semana, ela nao deve mais ser
designada respectivamente para esses dias nos proximos perodos. Contudo,
dependendo da quantidade de disciplinas e perodos, esta pode ser uma res-
tric ao muito forte, levando o problema `a infactibilidade.
Desta forma, sao criadas as vari aveis positivas w
+
e v
+
para medir os
desvios positivos da meta. A vari avel w
+
sera somada ao lado direito das
restric oes relativas `a repeticoes no pen ultimo dia. A vari avel v
+
tambem sera
somada ao lado direito, mas das restric oes de repeticoes nos ultimos dias.
8
Agora, existe inclusive o objetivo de minimizar os valores destas variaveis, o
que em termos praticos e procurar atingir a meta estabelecida pela coorde-
nadora de evitar que um professor seja prejudicado em relac ao aos outros ao
ter, mais de uma vez no ano, menos tempo para corrigir sua prova.
Com as discussoes anteriores, deve-se olhar para as vari aveis de decisao
do problema de forma separada, como se segue:
1. Vari aveis x
ijdt
tais que i < j e i, j I
k
. Estas vari aveis representam
as disciplinas de mesma natureza e sao as com maior prioridade para
serem minimizadas.
2. Vari aveis x
ijdt
tais que i = j. Estas sao as vari aveis que representam
quando uma disciplina e alocada sozinha para um dia de um perodo.

E interessante que o maximo destas variaveis sejam iguais a 1, ou seja,

sua minimizac ao e de ultima prioridade.
3. Vari aveis x
ijdt
tais que i < j, i, j I excetuando os pares i e j que
pertencem simultaneamente a algum I
k
. Sua minimizacao deve ser pri-
oritaria em relacao `as variaveis do item 2, mas as do item 1 estao `a sua
frente. Para facilitar a compreensao, estas variaveis serao representadas
como o complemento das variaveis dos itens 1 e 2.
4. Vari avel w
+
. Esta ligada `as repeticoes nos pen ultimos dias dos perodos.
5. Vari avel v
+
. Esta ligada `as repetic oes nos ultimos dias dos perodos.
Sua minimizac ao deve ter prioridade em relac ao `a w
+
, uma vez que
repeticoes nos ultimos dias sao piores do que nos pen ultimos dias.
Chega-se a conclusao de que o problema se tornou multiobjetivo e suas
func oes f
o
, onde o e um dos item supracitados, podem ser descritas da se-
guinte forma:
9
f
1
=

dD
t
|T|

t=1

jI
1
i<j

iI
1
x
ijdt
+

jI
2
i<j

iI
2
x
ijdt
+

jI
3
i<j

iI
3
x
ijdt
+

jI
4
i<j

iI
4
x
ijdt

f
2
=

dD
t
|T|

t=1

jI
i=j

iI
x
ijdt
f
3
=

dD
t
|T|

t=1
|I|

j=1
ij
|I|

i=1
x
ijdt
(f
1
+ f
2
)
f
4
= w
+
f
5
= v
+
O metodo dos pesos e utilizado para reduzir o problema multiobjetivo
para monobjetivo e considerar as prioridades de cada objetivo. Os pesos w
o
,
seguindo a ideia de que

5
o=1
w
o
f
o
= 1, sao os seguintes:
w
1
= 0, 65 w
2
= 0, 01 w
3
= 0, 15 w
4
= 0, 04 w
5
= 0, 15
O modelo para o PPHE do coluni, portanto, e o seguinte:
min f = 0, 65f
1
+ 0, 01f
2
+ 0, 15f
3
+ 0, 04f
4
+ 0, 15f
5
(6)
|I|

j=1
ij
|I|

i=1
x
ijdt
1 t {1, . . . , |T|}, d D
t
(7)

dD
t

j=1
x
jidt
+
|I|

j=i+1
x
ijdt

= 1 t {1, . . . , |T|}, i I (8)

|T|

t=1
x
ij(||D
t
|1|)t
1 + w
+
i, j {1, . . . , I} (9)
|T|

t=1
x
ij|D
t
|t
1 + v
+
i, j {1, . . . , I} (10)
10
x
ijdt
{0, 1} (11)
w
+
, v
+
Z
+
(12)
As restricoes (7) e (8) sao mantidas pois tratam das restric oes fortes do
problema, respectivamente ocorrencia de no maximo duas provas por dia
e todos exames devem ser alocados uma e somente uma vez por perodo.
Agora, as restric oes (9) e (10) possuem suas respectivas vari aveis de folga w
+
e v
+
. As vari aveis x
ijdt
sao binarias e as vari aveis w
+
e v
+
sao inteiras e nao
negativas.
5 Resultados Computacionais e Conclusao
O modelo matematico foi implementado na linguagem C++ e foram utili-
zadas as bibliotecas do Concert do IBM ILOG CPLEX Optimization Studio
V12.1. O computador utilizado foi um notebook Dell inspiron N4050 com
processador Intel(C) Core i5-2450M CPU 2.50 GHz, 4GB de memoria RAM
e sistema operacional Microsoft Windows 7 Home Basic 64 bits. Foram con-
siderados todos os perodos com 6 dias disponveis para aplicacao de prova,
o caso mais crtico olhando para o fato de que sao 11 disciplinas e existe um
maximo de duas provas por dia. w
+
= 1 e v
+
= 0 foram os valores para
as vari aveis de folga, o que signica que existiram repeticoes nos pen ultimos
dias mas nao houveram nos ultimos. A soluc ao encontrada esta na Tabela 2.
Tabela 2 - Solucao encontrada para o PPE do COLUNI
11
D1 D2 D3
P1 Portugues Sociologia Qumica
Fsica Ingles Matematica
P2 Ingles Geograa Espanhol
Historia Fsica Biologia
P3 Fsica Filosoa Biologia
Ingles Geograa
P4 Filosoa Sociologia Espanhol
Matematica Qumica Biologia
P5 Portugues Filosoa Geograa
Ingles Qumica
P6 Sociologia Filosoa Geograa
Biologia Espanhol Fsica
P7 Espanhol Sociologia Geograa
Ingles Fsica
P8 Geograa Portugues Sociologia
Qumica Matematica Ingles
D4 D5 D6
P1 Espanhol Filosoa Geograa
Historia Biologia
P2 Sociologia Filosoa Portugues
Qumica Matematica
P3 Sociologia Historia Espanhol
Portugues Matematica Qumica
P4 Portugues Ingles Historia
Fsica Geograa
P5 Biologia Espanhol Sociologia
Fsica Historia Matematica
P6 Historia Portugues Ingles
Matematica Qumica
P7 Historia Portugues Filoa
Matematica Qumica Biologia
P8 Filosoa Espanhol Fsica
Biologia Historia
A solucao encontrada foi satisfatoria em vista do objetivo de evitar a
alocac ao de pares de disciplinas de mesma natureza, sendo que nenhum par
12
deste tipo foi designado a algum dia. O valor de w
+
= 1 mostra que o pro-
blema se tornara infactvel caso as restric oes de repeticao nao fossem rela-
xadas. Para trabalhos posteriores, buscar-se-a denir restric oes de repetic ao
para todos os dias a m de melhorar a soluc ao, as quais serao relaxadas e
inseridas na func ao objetivo com seus devidos pesos, que serao maiores para
os ultimos dias e menores para os primeiros.
6 Agradecimentos
Os autores agradecem ao CNPq o suporte oferecido.
13
7 Referencias Bibliogracas
ANDRADE, P. R. L.; SCARPIN, C. T.; STEINER, M. T. A. Geracao da
Grade Horaria do Curso de Engenharia de Producao da UFPR
Atraves de Programacao Linear Binaria. In: Simposio Brasileiro de
Pesquisa Operacional, 2012, Rio de Janeiro. Anais eletronicos Rio de Ja-
neiro: Editora, 2012. p. 1-12.
ARENALES, M.; ARMENTANO, V.; MORABITO, R. E YANASSE, H.
Pesquisa operacional para cursos de engenharia . Rio de Janeiro:
Editora Campus, 2007.
CARTER, M. W.; LAPORTE, G.; LEE, S. Y. Examination Timetabling:
Algorithmic Strategies and Applications. Journal of the Operational
Research Society, v. 47, n. 3, p. 373-383, marco. 1996.
CHARNES, A.; Cooper, W. W. Goal programming and multiple objective
optimizations. European Journal of Operational Research, Holanda,
v. , n. , p. 39-54, marco. 1977
COLUNI: Colegio de Aplicacao. Vicosa, 2013. Disponvel em:
<http://www.coluni.ufv.br/?area=sobre>. Acesso em: 21 abril. 2013.
GOMES, C. F. S. Aplicacao da programacao por metas e metodo
lexicograco ao metodo STEM - Nova proposta de algoritmo de
formulacao linear multiobjetivo. XXXVI SBPO, Sao Joao del-Rei -
MG, p. 1099-1109, novembro de 2004.
IBM ILOG. CPLEX 12.1 Users Manual. 2009.
SANTOS, H. G.; SOUZA, M. J. F. Programacao de Horarios em Insti-
tuic oes Educacionais: Formulacoes e Algoritmos. 2007. 55p.
UR

IA, M. V. R.; CABALLERO, R.; RUIZ, F.; ROMERO, C.(2002). Meta-

goal programming. European Journal of Operational Research, vol. 136,
n.2, 422-429.
14