Skip to main navigation Skip to search Skip to main content

Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition

Project: Research council

  • 7 Chapter in a published conference proceeding
  • 7 Article
Filter
Chapter in a published conference proceeding

Search results

  • 2024

    Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition

    John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).

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

    1   Link opens in a new tab Citation (SciVal)

  • So the problem has poor complexity: what next?

    Davenport, J. H., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

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

  • 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

    1   Link opens in a new tab Citation (SciVal)

  • 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
    4   Link opens in a new tab Citations (SciVal)

  • Proving an Execution of an Algorithm Correct?

    Davenport, J. H., 28 Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

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

    2   Link opens in a new tab Citations (SciVal)

  • 2021

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

    Kremer, G., Abraham, E., England, M. & Davenport, J. H., 10 Dec 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

    5   Link opens in a new tab Citations (SciVal)