Managing SAT inconsistencies with HUMUS.

Alexander Nöhrer Armin Biere Alexander Egyed

Published in: VaMoS (2012)

Keyphrases

knowledge base
genetic algorithm
sat solving
sat solvers
sat problem
max sat
search algorithm
search strategies
satisfiability problem
stochastic local search
graph coloring
boolean satisfiability
simulated annealing