Questions marquées «unification»

10
Unification vs solveur SAT

J'ai lu sur Wikipedia que l' unification est un processus de résolution du problème de satisfaction. En même temps, je sais que de tels solveurs sont appelés "solveurs SAT" ou "solveurs SMT". Alors, sont-ils des noms différents pour la même chose? Si vous dites qu'ils sont différents, veuillez...