Communication Dans Un Congrès
Année : 2002
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300510
Soumis le : mardi 27 juillet 2021-10:37:17
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300510 , version 1
Citer
Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently. Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA'2002), 2002, Varna, Bulgaria. pp.51-60. ⟨hal-03300510⟩
Collections
7
Consultations
0
Téléchargements