Nantilus
Problèmes de satisfaction de contraintes : formalismes et techniques en CSP
Un aperçu détaillé sur les fondements des problèmes de satisfaction de contraintes (CSP) : formalisme CSP, techniques et extensions afférentes, résolution, méthodes heuristiques, exemples didactiques tels que les problèmes des 4-reines. L'objectif étant d'instancier les variables de manièr...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Problèmes de satisfaction de contraintes : formalismes et techniques en CSP / Khaled Ghédira |
| Publié : |
Paris :
Hermès science
, DL 2013, cop. 2013 Lavoisier |
| Description matérielle : | 1 vol. (216 p.) |
| Collection : | Collection Informatique (Paris. 1992) |
| Sujets : |
| LEADER | 01657cam a2200361 4500 | ||
|---|---|---|---|
| 001 | PPN170520110 | ||
| 003 | http://www.sudoc.fr/170520110 | ||
| 005 | 20230124060400.0 | ||
| 010 | |a 978-2-7462-4515-0 |b br. | ||
| 035 | |a (OCoLC)862767866 | ||
| 073 | 1 | |a 9782746245150 | |
| 100 | |a 20130708h20132013k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Problèmes de satisfaction de contraintes |b Texte imprimé |e formalismes et techniques en CSP |f Khaled Ghédira | |
| 210 | |a Paris |c Hermès science |c Lavoisier |d DL 2013, cop. 2013 | ||
| 215 | |a 1 vol. (216 p.) |c ill., tab., graph. |d 24 cm | ||
| 225 | 0 | |a Collection informatique |x 1242-7691 | |
| 339 | |a Un aperçu détaillé sur les fondements des problèmes de satisfaction de contraintes (CSP) : formalisme CSP, techniques et extensions afférentes, résolution, méthodes heuristiques, exemples didactiques tels que les problèmes des 4-reines. L'objectif étant d'instancier les variables de manière à satisfaire toutes les contraintes. ©Electre 2014 | ||
| 320 | |a Bibliogr. en fin de chapitres. Index | ||
| 410 | | | |0 002838826 |t Collection Informatique (Paris. 1992) |x 1242-7691 | |
| 606 | |3 PPN033217424 |a Contraintes (intelligence artificielle) |2 rameau | ||
| 606 | |3 PPN027551261 |a Complexité de calcul (informatique) |2 rameau | ||
| 606 | |3 PPN027352951 |a Recherche opérationnelle |2 rameau | ||
| 676 | |a 006.3 | ||
| 700 | 1 | |3 PPN077839544 |a Ghédira |b Khaled |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20140110 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20131112 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:522712649 |b 441092104 |a 681.311 CON-GHE |j u | ||
| 998 | |a 684287 | ||