Skip to main content
SpringerLink
Log in

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

  • Letter
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

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

  1. Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry, Changchun, 130012, China

    Zhe Li, Zhezhou Yu & Zhanshan Li

  2. College of Computer Science and Technology, Jilin University, Changchun, 130012, China

    Zhe Li, Zhezhou Yu & Zhanshan Li

  3. College of Information Science and Technology, Northeast Normal University, Changchun, 130024, China

    Hongbo Li

  4. Department of Computer Science, University of Oxford, Oxford, OX1 2JD, UK

    Jinsong Guo

Authors
  1. Zhe Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhezhou Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hongbo Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jinsong Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Zhanshan Li
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Check for updates. 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

Search

Navigation