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

Arash Ahadi Ali Dehghan

Published in: Discret. Math. Theor. Comput. Sci. (2019)

Keyphrases

sat problem
dominating set
np complete
np complete problems
decision problems
weighted max sat
decision making
data structure
optimization problems
constraint satisfaction problems
propositional satisfiability
facility location problem
sat solving