References
Lecoutre C, Vion J. Enforcing arc consistency using bitwise operations. Constraint Programm Lett, 2008, 2: 21–35
Guo J, Li Z, Zhang L, et al. MaxRPC algorithms based on bitwise operations. In: Proceedings of International Conference on Principles and Practice of Constraint Programming, Perugia, 2011. 373–384
Balafrej A, Bessiere C, Bouyakhf E H, et al. Adaptive singleton-based consistencies. In: Proceedings of AAAI’14, Québec City, 2014. 2601–2607
Paparrizou A, Stergiou K. On neighborhood singleton consistencies. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence, Melbourne, 2017. 736–742
Bessiere C. Constraint propagation. Found Artif Intell, 2006, 2: 29–83
Stergiou K. Restricted path consistency revisited. In: Proceedings of International Conference on Principles and Practice of Constraint Programming, Cork, 2015. 419–428
Boussemart. XCSP3 benchmarks website. 2019. http://xcsp.org/series
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant Nos. 61672261, 61802056), Jilin Province Natural Science Foundation (Grant No. 20180101043JC), Jilin Province Development and Reform Commission (Grant No. 2019C053-9), and Jilin Provincial Key Laboratory of Big Data Intelligent Computing (Grant No. 20180622002JC).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supporting information
Appendixes A-C. The supporting information is available online at info.scichina.com and link. springer.com. The supporting materials are published as submitted, without typesetting or editing. The responsibility for scientific accuracy and content remains entirely with the authors.
Rights and permissions
About this article
Cite this article
Li, Z., Yu, Z., Li, H. et al. Revisiting the efficacy of weak consistencies: a study of forward checking. Sci. China Inf. Sci. 64, 179102 (2021). https://doi.org/10.1007/s11432-018-9877-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-018-9877-x