Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi, Liang Zhao 0013, Hiroshi Nagamochi, Tatsuya Akutsu. An Improved Integer Programming Formulation for Inferring Chemical Compounds with Prescribed Topological Structures. In Hamido Fujita, Ali Selamat, Jerry Chun-Wei Lin, Moonis Ali, editors, Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26-29, 2021, Proceedings, Part I. Volume 12798 of Lecture Notes in Computer Science, pages 197-209, Springer, 2021. [doi]