Groupe de travail

Contributions to Satisfiability solving and its application

Name: Contributions to Satisfiability solving and its application
Start: 2022-03-29T11:00:00+02:00
End: 2022-03-29T12:00:00+02:00
Location: Sciences 3

par Souheib Baari

mardi 29 mars 2022, 11:00 → 12:00 Europe/Paris

S3 351 (Sciences 3)