2019年6月24日
SQL for combinatorial optimization problems and SMT-based solving by SQL transformation
Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019)
- 記述言語
- 英語
- 会議種別
- 口頭発表（招待・特別）
- 開催地
- Dortmund, Germany