|
|
|
Super solutions of the model RB |
Guangyan ZHOU1, Wei XU2( ) |
1. Department of Mathematics, Beijing Technology and Business University, Beijing 100048, China
2. School of Mathematics and Physics, University of Science and Technology Beijing, Beijing 100083, China |
|
|
|
|
|
|
Corresponding Author(s):
Wei XU
|
|
Just Accepted Date: 26 July 2021
Issue Date: 23 February 2022
|
|
| 1 |
K Xu , W Li . Exact phase transitions in random constraint satisfaction problems. Journal of Artificial Intelligence Research, 2000, 12 : 93– 103
|
| 2 |
B M Smith , M E Dyer . Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 1996, 81( 1−2): 155– 181
|
| 3 |
K Xu , W Li . Many hard examples in exact phase transitions. Theoretical Computer Science, 2006, 355( 3): 291– 302
|
| 4 |
C Zhao , P Zhang , Z Zhang , K Xu . Analytical and belief-propagation studies of random constraint satisfaction problems with growing domains. Physical Review E, 2012, 85( 1): 016106–
|
| 5 |
C Zhao , H Zhou , Z Zheng , K Xu . A message-passing approach to random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2011, 2011(02) : P02019–
|
| 6 |
W Xu , P Zhang , T Liu , F Gong . The solution space structure of random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2015, 2015(12) : P12006–
|
| 7 |
E Hebrard, B Hnich, T Walsh. 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 |
P Zhang , Y Gao . A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming. Theoretical Computer Science, 2017, 657 : 98– 110
|
| 9 |
B Wang , G Zhou . Super solutions of random (3+p)-SAT. Theoretical Computer Science, 2019, 793 : 14– 27
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
