Formules booléennes quantifiées : transformations formelles et calculs parallèles
De nombreux problèmes d'intelligence artificielle et de vérification formelle se ramènent à un test de validité d'une formule booléenne quantifiée (QBF). Mais, pour effectuer ce test les solveurs QBF actuels ont besoin d'une formule sous une forme syntaxique restrictive, comme la form...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Angers
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00578083 http://tel.archives-ouvertes.fr/docs/00/57/80/83/PDF/Damota2010These.pdf |