Richard Ostrowski
IdRefMots clés
FR |
EN
Calcul des propositions
Problème SAT
Symétrie locales
Symétries sémantiques
Symétries syntaxiques
Solveurs CDCL
Logiques non monotones
Logiques préférentielles
X-logiques
Logiques des défauts
Fonctions booléennes
SAT
Propriétés strucurelles
Procédure de Davis et Putnam
Apprentissage automatique
Contraintes (intelligence artificielle)
Intelligence artificielle
Max-SAT
Inférence
Raisonnement