Résolution étendue par substitution dynamique des fonctions booléennes

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni. Résolution étendue par substitution dynamique des fonctions booléennes. Revue d Intelligence Artificielle, 28(6):645-663, 2014. [doi]

Abstract

Abstract is missing.