Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently.

ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full AIMSA paper archive.