• Hosobe H. Solving Hierarchical Soft Constraints with an SMT Solver. Proceedings of the 2020 12th International Conference on Computer and Automation Engineering. (42-46).

    https://doi.org/10.1145/3384613.3384654

  • Hosobe H. (2015). A Hierarchical Method for Solving Soft Nonlinear Constraints. Procedia Computer Science. 10.1016/j.procs.2015.08.422. 62. (378-384).

    https://linkinghub.elsevier.com/retrieve/pii/S1877050915025570