2020年2月
Solving Hierarchical Soft Constraints with an SMT Solver
Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020)
- 開始ページ
- 42
- 終了ページ
- 46
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 出版者・発行元
- ACM Press