HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Viktor Kuncak

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

Keyphrases

automated reasoning, computational complexity, non-linear arithmetic, Satisfiability Modulo Theories.

Copyright © 2012-2025 easychair.org. All rights reserved.