Cover Image

Quantifier Elimination Meets Treewidth

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Hao, Zhu, Jiyu, Goharshady, Amir Kafshdar, An, Jie, Xia, Bican, Zhan, Naijun
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Computational Complexity Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

OSVAuto: automatic proofs about functional specifications in OS verification
by: Wu, Yulun, et al.
Published: (2024)

Pseudo-Complex Quantifier Elimination
by: Faroß, Nicolas, et al.
Published: (2026)

Identity Testing for Radical Expressions
by: Balaji, Nikhil, et al.
Published: (2022)

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
by: Bournez, Olivier, et al.
Published: (2026)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
by: Vompa, Enrico, et al.
Published: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
by: Ding, Tianyi, et al.
Published: (2025)

PolyQEnt: A Polynomial Quantified Entailment Solver
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
by: Desmond, Harry
Published: (2026)

Solving unification in the description logic $\mathcal{FL}_\bot$
by: Morawska, Barbara, et al.
Published: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Rings with common division, common meadows and their conditional equational theories
by: Bergstra, Jan A, et al.
Published: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Saturating Sorting without Sorts
by: Georgiou, Pamina, et al.
Published: (2024)

A Local Search Algorithm for MaxSMT(LIA)
by: He, Xiang, et al.
Published: (2024)

Nominal Equational Rewriting and Narrowing
by: Ayala-Rincón, Mauricio, et al.
Published: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
by: Manjrekar, Mayank
Published: (2025)

Structuring Definitions in Mathematical Libraries
by: Gusakov, Alena, et al.
Published: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
by: Simmons, William, et al.
Published: (2023)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
by: Wu, Hao, et al.
Published: (2024)

A general optimization solver based on OP-to-MaxSAT reduction
by: Zhao, Yuxin, et al.
Published: (2026)

On Ambiguity: The case of fraction, its meanings and roles
by: Bergstra, Jan A, et al.
Published: (2026)

A New Bound on Cofactors of Sparse Polynomials
by: Nahshon, Ido, et al.
Published: (2023)

Hilbert's Nullstellensatz is in the Counting Hierarchy
by: Andrews, Robert, et al.
Published: (2026)

Matrices with displacement structure: a deterministic approach for linear systems and nullspace bases
by: Khichane, Sara, et al.
Published: (2026)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
by: Garg, Abhibhav, et al.
Published: (2025)

Modular composition & polynomial GCD in the border of small, shallow circuits
by: Andrews, Robert, et al.
Published: (2025)

Fast interpolation and multiplication of unbalanced polynomials
by: Giorgi, Pascal, et al.
Published: (2024)

Constant-Depth Arithmetic Circuits for Linear Algebra Problems
by: Andrews, Robert, et al.
Published: (2024)

Fast polynomial computations with space constraints
by: Grenet, Bruno
Published: (2025)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
by: Dwivedi, Ashish, et al.
Published: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
by: Erascu, Madalina, et al.
Published: (2026)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
by: Brown, Chad E., et al.
Published: (2026)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
by: Urban, Josef
Published: (2026)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
by: Işık, İlker, et al.
Published: (2026)