D E A d'Informatique
65
pages
Français
Documents
1998
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
65
pages
Français
Documents
1998
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
- rapport de stage
Departement d'Informatique Universite d'Orleans Rapport de Stage D.E.A. d'Informatique Presente par: GOUMAIRI Abdelkhalek soutenu le 8 septembre 1998 Theme Simplication de contraintes sur les domaines nis Responsable du stage Monsieur: Alexandre Tessier
- programmtion logique par contraintes
- simplication de la redondance via la transformation
- classes de redondances
- projet esprit
- session de diagnostic declaratif d'erreur
- simplication des contraintes arithmetiques
- ches de l'equipe loco dans le projet discipl
- equipe loco
8
D
Resp
de
epartemen
delkhalek
t
Th
d'Informatique
sur
Univ
Monsieur:
ersit
u
bre
e
eme
d'Orl
train
domaines
eans
du
Rapp
T
o
souten
rt
le
de
septem
Stage
1998
D.E.A.
d'Informatique
Simplication
Pr
con
tes
esen
les
t
nis
onsable
e
stage
par:
Alexandre
GOUMAIRI
essier
Abstage
2
aide
Remerciemen
p
ts
et
Je
t
remercie
a
Monsieur
culture
Alexandre
hissan
T
ma
essier
a
qui
a
m'on
accept
siv
souv
e
ccasion
de
d
diriger
les
ce
partic-
stage.
m
Ses
conseils,
ann
ses
t
encouragemen
es
ts
fourni
et
sa
Sa
gen
tique
tillesse
t
m'on
e
t
discussions
Enn,
et
edie
a
e
bres
tr
et
es
a
pr
ere,
l'ac
ecieux
emen
du-
de
ran
ees
t
lui
ce
plus
tra
eur.
v
qui
ail.
t
Je
une
dois
d
aussi
eci-
exprimer
e.
toute
grande
ma
scien
gratitude
a
en
a
Monsieur
G
l'o
de
erard
enric
F
tes.
errand,
je
Professeur
ce
a
l'univ
tous
ersit
mem
de
e
famille,
d'Orl
plus
uli
eans.
eremen
Je
tiens
ma
a
le
qui
remercier
h
p
ev
our
t
sa
ositif
grande
longues
rigueur
scien
d'
tique
etudes
et
tien
ses
le
conseils
co
eclair
33
T
:
able
:
des
ep
mati
4
:
eres
:
1
:
In
:
tro
:
duction
:
5
:
2
:
Pr
:
:
eliminaires
:
8
:
2.1
:
programm
:
tion
eaires
logique
lin
par
con
train
train
:
tes
:
:
:
:
redondance
:
:
:
:
:
3.2.8
:
:
:
la
:
:
:
:
:
a
:
:
:
duction
:
:
:
:
:
:
:
:
8
:
2.2
:
Algorithme
:
de
:
F
:
ourier
3
:
:
:
:
:
acette
:
:
:
:
:
:
:
:
:
:
:
28
:
:
:
:
:
:
:
:
:
:
:
:
:
de
:
:
:
:
:
:
:
:
:
:
:
35
:
de
:
:
:
:
:
39
10
:
2.3
:
Egalit
:
:
es
train
implicites
:
:
:
:
:
:
40
:
:
:
:
:
:
:
4.2.2
:
eaires
:
:
:
:
:
:
:
Arbres
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
3.2.5
:
:
:
:
:
:
:
:
:
:
:
:
:
3.2.6
:
:
12
:
2.4
:
Rapp
:
els
:
:
Ind
:
te
:
:
:
:
:
:
:
:
:
:
:
redondance
:
:
:
:
:
:
:
:
:
:
:
3.3
:
redondance
:
:
:
:
:
Algorithme
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
Application
:
:
ariable
:
:
:
:
:
:
:
:
:
dans
:
In
13
:
2.4.1
:
D
:
:
enitions
:
:
:
:
:
:
:
:
4.2
:
lin
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
eaires
:
:
:
:
:
:
:
:
:
:
:
:
:
:
lin
:
:
:
:
:
:
:
:
:
:
:
:
13
4.3
2.4.2
sur
Programmation
:
en
:
nom
:
bres
:
en
:
tiers
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
26
:
F
:
redondance
:
:
16
:
3
:
Simplication
:
des
:
Con
:
train
:
tes
:
Arithm
:
:
etiques
:
lin
27
Quasi-facette
eaires
:
24
:
3.1
:
In
:
tro
:
duction
:
:
:
:
:
:
:
:
:
:
3.2.7
:
:
endan
:
redondance
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
31
:
Implicite
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
32
:
Simpli
