Login / Signup
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.
Jianmin Zhang
Sikun Li
ShengYu Shen
Published in:
Australian Conference on Artificial Intelligence (2006)
Keyphrases
</>
genetic algorithm
unsatisfiable cores
max sat
search algorithm
tabu search
neural network
evolutionary algorithm
multi objective
simulated annealing
hidden structure
dynamic programming
metaheuristic
boolean satisfiability
search space