ITP OpenIR

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Witness of unsatisfiability for a random 3-satisfiability formula 期刊论文
PHYSICAL REVIEW E, 2013, 卷号: 87, 期号: 5, 页码: 52807
Authors:  Wu, LL;  Zhou, HJ;  Alava, M;  Aurell, E;  Orponen, P;  Wu, LL (reprint author), Chinese Acad Sci, Inst Theoret Phys, State Key Lab Theoret Phys, Beijing 100190, Peoples R China.
Adobe PDF(427Kb)  |  Favorite  |  View/Download:80/12  |  Submit date:2014/04/25
Constraint Satisfaction Problems  Random K-sat  Satisfiability Problems  Cavity Method  
A message-passing approach to random constraint satisfaction problems with growing domains 期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2011, 期号: *, 页码: P02019
Authors:  Zhao, CY;  Zhou, HJ;  Zheng, ZM;  Xu, K;  Xu, K (reprint author), Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China.
Adobe PDF(810Kb)  |  Favorite  |  View/Download:187/43  |  Submit date:2013/05/17
Exact Phase-transitions  Random K-sat  Satisfiability  Threshold  Algorithm  
Glassy behavior and jamming of a random walk process for sequentially satisfying a constraint satisfaction formula 期刊论文
EUROPEAN PHYSICAL JOURNAL B, 2010, 卷号: 73, 期号: 4, 页码: 617-624
Authors:  Zhou, Haijun
Adobe PDF(1414Kb)  |  Favorite  |  View/Download:554/16  |  Submit date:2012/08/02
Random Satisfiability Problems  K-sat  Algorithm  Phase