Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Combinaison de solveurs
Précédent : Actions de recherche Remonter : Actions de
recherche Suivant : Combinaison de solveurs
Nos travaux sur la résolution et la satisfaisabilité de contraintes couvrent un large éventail de problèmes engendrés lors d'un processus de déduction (avec contraintes). Cela va des contraintes réelles non-linéaires à des contraintes d'ordre sur les termes, en passant par des contraintes entières linéaires, des contraintes équationnelles sur les termes du premier ordre ou d'ordre supérieur et des combinaisons de contraintes sur plusieurs domaines différents ou de différentes natures.