Method for Solving Quantifier Linear Equations for Formation of Optimal Queries to Databases

Igor Shubin, Andrii Kozyriev. Method for Solving Quantifier Linear Equations for Formation of Optimal Queries to Databases. In Nina Khairova, Thierry Hamon, Natalia Grabar, Yevhen Burov, editors, Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume II: Computational Linguistics Workshop, Kharkiv, Ukraine, April 20-21, 2023. Volume 3396 of CEUR Workshop Proceedings, pages 449-459, CEUR-WS.org, 2023. [doi]

Abstract

Abstract is missing.