Rodrigo Raya, Jad Hamza, and Viktor Kuncak. On the complexity of convex and reverse convex prequadratic constraints. In 24th Int. Conf. Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2023.

[ bib ] Back