Skip to main content
Log in

Super solutions of the model RB

  • Letter
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Xu K, Li W. Exact phase transitions in random constraint satisfaction problems. Journal of Artificial Intelligence Research, 2000, 12: 93–103

    Article  MathSciNet  Google Scholar 

  2. Smith B M, Dyer M E. Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 1996, 81(1–2): 155–181

    Article  MathSciNet  Google Scholar 

  3. Xu K, Li W. Many hard examples in exact phase transitions. Theoretical Computer Science, 2006, 355(3): 291–302

    Article  MathSciNet  Google Scholar 

  4. Zhao C, Zhang P, Zhang Z, Xu K. Analytical and belief-propagation studies of random constraint satisfaction problems with growing domains. Physical Review E, 2012, 85(1): 016106

    Article  Google Scholar 

  5. Zhao C, Zhou H, Zheng Z, Xu K. A message-passing approach to random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2011, 2011(02): P02019

    Article  Google Scholar 

  6. Xu W, Zhang P, Liu T, Gong F. The solution space structure of random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2015, 2015(12): P12006

    Article  Google Scholar 

  7. Hebrard E, Hnich B, Walsh T. Super solutions in constraint programming. In: Proceedings of the 1st International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming. 2004, 157–172

  8. Zhang P, Gao Y. A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming. Theoretical Computer Science, 2017, 657: 98–110

    Article  MathSciNet  Google Scholar 

  9. Wang B, Zhou G. Super solutions of random (3+p)-SAT. Theoretical Computer Science, 2019, 793: 14–27

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant Nos. 61702019, 11801028).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei Xu.

Electronic Supplementary Material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhou, G., Xu, W. Super solutions of the model RB. Front. Comput. Sci. 16, 166406 (2022). https://doi.org/10.1007/s11704-021-1189-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11704-021-1189-8

Navigation