Author:
Zhou Junping,Hu Shuli,Zou Tingting,Yin Minghao
Publisher
Springer International Publishing
Reference21 articles.
1. Xu, K., Li, W.: The SAT phase transition. Sci. China Ser. E 42, 494–501 (1999)
2. Sly, A., Sun, N., Zhang, Y.: The number of solutions for random regular NAE-SAT. In: FOCS (2016)
3. Larrosa, J., Heras, F., De Givry, S.: A logical approach to efficient Max-SAT solving. Artif. Intell. 172(2–3), 204–233 (2006)
4. Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B., Troyansky, L.: Determining computational complexity from characteristic phase transitions. Nature 400, 133–137 (1999)
5. Kirkpatrick, S., Selman, B.: Critical behavior in the satisfiability of random boolean expressions. Science 264, 1297–1301 (1994)