Introduction
Mon statut pour la session
Quoi:
Talk
Partie de:
Quand:
9:15 AM, Mercredi 10 Juin 2026 EDT
(15 minutes)
Thème:
Computers
SAT approaches to reasoning and decision-making