Knowledge Tree

researcher / Lakhdar Saïs

Lakhdar Saïs

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Fouille de données par contraintes

Extensions of tractable classes for propositional satisfiability

Contributions à la résolution du problème de la Satisfiabilité Propositionnelle

Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle.

Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes

Contributions à la résolution générique des problèmes de satisfaction de contraintes

Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT