Skip to main content

Revisiting the efficacy of weak consistencies: a study of forward checking

This is a preview of subscription content, access via your institution.

References

  1. Lecoutre C, Vion J. Enforcing arc consistency using bitwise operations. Constraint Programm Lett, 2008, 2: 21–35

    Google Scholar 

  2. 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

  3. Balafrej A, Bessiere C, Bouyakhf E H, et al. Adaptive singleton-based consistencies. In: Proceedings of AAAI’14, Québec City, 2014. 2601–2607

  4. Paparrizou A, Stergiou K. On neighborhood singleton consistencies. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence, Melbourne, 2017. 736–742

  5. Bessiere C. Constraint propagation. Found Artif Intell, 2006, 2: 29–83

    Article  Google Scholar 

  6. Stergiou K. Restricted path consistency revisited. In: Proceedings of International Conference on Principles and Practice of Constraint Programming, Cork, 2015. 419–428

  7. Boussemart. XCSP3 benchmarks website. 2019. http://xcsp.org/series

Download references

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

Authors

Corresponding author

Correspondence to Zhanshan Li.

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.

Supplementary File

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11432-018-9877-x