Iterative SAT Solving for Minimum Satisfiability.

Federico Heras António Morgado Jordi Planes João P. Marques Silva

Published in: ICTAI (2012)

Keyphrases

sat solving
sat solvers
sat problem
boolean satisfiability
satisfiability problem
boolean optimization
max sat
sat encodings
search space
np complete
genetic algorithm
state space
constraint satisfaction problems
sat instances