Aspects parallèles des problèmes de satisfaisabilité
Malgré sa complexité de résolution, le problème de SATisfaisabilité est une excellente et compétitive approche pour résoudre un large éventail de problèmes. Cela génère une forte demande pour une résolution de SAT haute performance de la part des industriels. Au fil du temps, de nombreuses approches...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Reims - Champagne Ardenne
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00545657 http://tel.archives-ouvertes.fr/docs/00/58/01/73/PDF/These_MTSS.pdf http://tel.archives-ouvertes.fr/docs/00/58/01/73/ANNEX/Presentation_MTSS.pdf |