Symétries et QBF

Saïd Jabbour, Lakhdar Sais. Symétries et QBF. Revue d Intelligence Artificielle, 26(1-2):103-125, 2012. [doi]

Abstract

Abstract is missing.