Optimisation par renommage dans la méthode de résolution
La technique du renommage, appliquée exhaustivement, permet d'obtenir une forme clausale polynomiale. Nous choisissons de l'appliquer partiellement, de façon a minimiser certains criteres syntaxiques, principalement le nombre de clauses, tout en conservant une complexité polynomiale. Nous...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1991
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00339269 http://tel.archives-ouvertes.fr/docs/00/33/92/69/PDF/Boy-de-la-Tour.Thierry_1991_these.pdf |