Compilation des contraintes booléennes n-aires pour le traitement des CSP dynamiques

Sylvain Piechowiak, Joaquin Rodriguez. Compilation des contraintes booléennes n-aires pour le traitement des CSP dynamiques. Revue d Intelligence Artificielle, 15(2):219-245, 2001. [doi]

Abstract

Abstract is missing.