Stanislav Zivny
IdRefMots clés
FR |
EN
Programmation par contraintes
Problème de satisfaction de Contraintes
Classe traitable
Polymorphisme
Backdoor
Complexité paramétrée
Kernelisation
Contraintes (intelligence artificielle)
Automates
Transducteurs
Expressions régulières
Séries temporelles
Objets combinatoires paramétrés
Invariants linéaires et non-Linéaires
Expressions rationnelles
Systèmes linéaires invariants
Configurations et schémas combinatoires