Keyword:non-linear arithmetic

Publications
On the Complexity of Convex and Reverse Convex Prequadratic Constraints Rodrigo Raya, Jad Hamza and Viktor Kuncak In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning