On Reducing Maximum Independent Set to Minimum Satisfiability.

Alexey Ignatiev António Morgado João Marques-Silva

Published in: SAT (2014)

Keyphrases

maximum independent set
graph theoretic
graph theory
independent set
satisfiability problem
phase transition
propositional logic
computational complexity
minimum cost
objective function
np complete
decision procedures
satisfiability testing