Hiroshi Hosobe. Solving Hierarchical Soft Constraints with an SMT Solver. In ICCAE 2020: 12th International Conference on Computer and Automation Engineering, Sydney, NSW, Australia, February 14-16, 2020. pages 42-46, ACM, 2020. [doi]
Abstract is missing.