Computing Horn Strong Backdoor Sets Thanks to Local Search.

Lionel Paris Richard Ostrowski Pierre Siegel Lakhdar Sais

Published in: ICTAI (2006)

Keyphrases

search algorithm
genetic algorithm
memetic algorithm
search space
evolutionary algorithm
global search
real time
high level
computational complexity
np hard
simulated annealing
tabu search
propositional logic
convex sets
horn clauses
knowledge compilation