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) 2019)