Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Project: Research council

  • 6 Article
  • 4 Chapter in a published conference proceeding
Filter
Chapter in a published conference proceeding

Search results

  • 2023

    Artificial Conflict Sampling for Real Satisfiability Problems

    Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • A Unified Approach to Unimodality of Gaussian Polynomials

    Wong, E., Uncu, A. K. & Koutschan, C., 27 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). U. S. A.: Association for Computing Machinery, p. 434-442 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • Lazard-style CAD and Equational Constraints

    Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    3 Citations (SciVal)
  • 2021

    On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

    Kremer, G., Abraham, E., England, M. & Davenport, J. H., 2021, Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021. Schneider, C., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 37-39 3 p. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    3 Citations (SciVal)