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

Éric Grégoire Bertrand Mazure Lakhdar Sais

Published in: AIMSA (2002)

Keyphrases

np complete
search algorithm
solving problems
neighborhood search
database
np hard
optimization problems
logic programs
tabu search
combinatorial optimization
search strategies
memetic algorithm
propositional satisfiability
satisfiability testing