IGA: an Improved Genetic Algorithm for MAX-SAT Problems.

Dalila Boughaci Belaid Benhamou Habiba Drias

Published in: IICAI (2007)

Keyphrases

max sat
weighted max sat
optimization problems
tabu search
neural network
lower bound
simulated annealing
genetic algorithm
exact algorithms
propositional satisfiability