Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently

(1) , (1) , (1)
1
Not file

Dates and versions

hal-03300510 , version 1 (27-07-2021)

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⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More