(2/2/3)-SAT problem and its applications in dominating set problems.

Arash Ahadi Ali Dehghan

Published in: CoRR (2016)

Keyphrases

dominating set
np complete
sat problem
evolutionary algorithm
decision problems
weighted max sat
computational complexity
search space
sat instances
integer linear programming
sat solving