[2E4-OS-13c] AIと制約プログラミング(3/3)

[2E4-OS-13c-01] Describing Car Sequencing Problem by SQL-based solver CombSQL+

〇Kazuya Inoue¹, Junichiro Kishi², Masahiko Sakai² (1. School of Informatics, Nagoya University, 2. Graduate School of Informatics, Nagoya University)

Keywords:combinatorial optimization, SQL, SAT, SMT

The authors recently developed a combinatorial optimization solver CombSQL+ based on the set extended semantics of SQL. We show some descriptions, written in CombSQL+ language, for the car sequencing problem. We observed that a small difference in the descriptions affects performance, and discuss the reason and an idea on improvement of the system.