+ Résumé : La compilation de connaissances est un domaine de l'informatique qui étudie différentes classes -- ou langages -- de représentations pour les fonctions, et les algorithmes permettant de passer d'une classe à l'autre. On présente les bases de la compilation de connaissances ainsi que certaines classes de représentations -- certains langages -- qui sont la cible des compilateurs en pratique. Puis on montre comment des bornes inférieures sur la taille des représentations pour des fonctions dans certains langages peuvent être converties en bornes inférieures pour des systèmes de preuve. On explique notamment comment on a utilisé cette approche pour prouver des bornes inférieures exponentielles sur les réfutations de CNF spécifiques appelées formules de Tseitin dans deux systèmes de preuve : les réfutations OBDD(∧,r) et les réfutations par résolution régulière.
+ Résumé : La compilation de connaissances est un domaine de l'informatique qui étudie différentes classes -- ou langages -- de représentations pour les fonctions, et les algorithmes permettant de passer d'une classe à l'autre. On présente les bases de la compilation de connaissances ainsi que certaines classes de représentations -- certains langages -- qui sont la cible des compilateurs en pratique. Puis on montre comment des bornes inférieures sur la taille des représentations pour des fonctions dans certains langages peuvent être converties en bornes inférieures pour des systèmes de preuve. On explique notamment comment on a utilisé cette approche pour prouver des bornes inférieures exponentielles sur les réfutations de CNF spécifiques appelées formules de Tseitin dans deux systèmes de preuve : les réfutations OBDD(∧,r) et les réfutations par résolution régulière.
+ Copie des [Slides](https://gitlab.lis-lab.fr/richard.ostrowski/coala/raw/main/seminar-slides/2023-12-06-Roaza_AMOKRANE-Container_Stowage_Planning_Problem.pdf)
### Mercredi 6 décembre 2023 à 15h
### Mercredi 6 décembre 2023 à 15h
+ Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
+ Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
...
@@ -28,6 +25,8 @@
...
@@ -28,6 +25,8 @@
+ Résumé : The container stowage planning problem consists of determining a suitable arrangement of the containers in a ship during its multiport journey. It's one of the main challenges in the realm of maritime logistics that shipping companies have to face on a daily basis.
+ Résumé : The container stowage planning problem consists of determining a suitable arrangement of the containers in a ship during its multiport journey. It's one of the main challenges in the realm of maritime logistics that shipping companies have to face on a daily basis.
In our presentation, we will explore the problem in depth, examining its constraints and objectives. We will then briefly review the different approaches documented in the literature, giving a brief but instructive overview of the strategies employed to solve this complex logistics problem.
In our presentation, we will explore the problem in depth, examining its constraints and objectives. We will then briefly review the different approaches documented in the literature, giving a brief but instructive overview of the strategies employed to solve this complex logistics problem.
+ Copie des [Slides](https://gitlab.lis-lab.fr/richard.ostrowski/coala/raw/main/seminar-slides/2023-12-06-Roaza_AMOKRANE-Container_Stowage_Planning_Problem.pdf)
### Mercredi 18 octobre 2023 à 15h
### Mercredi 18 octobre 2023 à 15h
+ Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
+ Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
