Hybridation de techniques d’apprentissage de clauses en programmation par contraintes / Hybridization of clause learning techniques in constraint programming
👁 5 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Hybridation de techniques d’apprentissage de clauses en programmation par contraintes / Hybridization of clause learning techniques in constraint programming. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Hybridation de techniques d’apprentissage de clauses en programmation par contraintes / Hybridization of clause learning techniques in constraint programming. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Cette thèse s’inscrit dans le domaine de la programmation par contraintes (CP), un des paradigmes les plus efficaces pour résoudre de nombreux problèmes (de nature combinatoire) en IA. Nous nous sommes intéressés à l’amélioration des techniques de résolution CSP (problème de satisfaction de contraintes), notamment dans un contexte hybride en utilisant la puissance des moteurs d’inférence SAT (problème de satisfaction booléenne). Nous avons ainsi développé plusieurs techniques concernant l’analys...