- Article
The Transition Phenomenon of (1,0)-d-Regular (k, s)-SAT
- Zufeng Fu,
- Haiying Wang,
- Jinjiang Liu,
- Jincheng Zhou,
- Daoyun Xu and
- Yihai Pi
For a d-regular (k,s)-CNF formula, a problem is to determine whether it has a (1,0)-super solution. If so, it is called (1,0)-d-regular (k,s)-SAT. A (1,0)-super solution is an assignment that satisfies at least two literals of each clause. When the v...

