- Article
(1,0)-Super Solutions of (k,s)-CNF Formula
- Zufeng Fu,
- Daoyun Xu and
- Yongping Wang
A (1,0)-super solution is a satisfying assignment such that if the value of any one variable is flipped to the opposite value, the new assignment is still a satisfying assignment. Namely, every clause must contain at least two satisfied literals. Bec...