Hiroshi Hosobe, Ken Satoh. Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains. In 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023, Atlanta, GA, USA, November 6-8, 2023. pages 186-193, IEEE, 2023. [doi]
Abstract is missing.