Conference Papers
Year : 2002
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300510
Submitted on : Tuesday, July 27, 2021-10:37:17 AM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03300510 , version 1
Cite
É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
5
View
0
Download