Van-Giang Trinh

Explorer les connexions entre les programmes logiques et les réseaux de Booléens pour améliorer les perspectives sur les modèles stables.