:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Gurevich, Anastasia
Formato:	Recurso digital
Lenguaje:
Publicado:	Zenodo 2025
Acceso en línea:	https://doi.org/10.5281/zenodo.15620181
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Dual of Quantifier Elimination: Boolean Elimination over C and R
por: Frank, Matthew
Publicado: (2025)

Quantifier Elimination Meets Treewidth
por: Wu, Hao, et al.
Publicado: (2026)

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

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
por: Davis, Liam, et al.
Publicado: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
por: Batz, Kevin, et al.
Publicado: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
por: Goldberg, Eugene
Publicado: (2024)

Quantifier Elimination for Normal Cone Computations
por: Mandlmayr, Michael, et al.
Publicado: (2024)

Partial Quantifier Elimination By Certificate Clauses
por: Goldberg, Eugene
Publicado: (2020)

Optimal Software Pipelining using an SMT-Solver
por: Roorda, Jan-Willem
Publicado: (2026)

A Study of Different Subsequence Elimination Strategies for the Soft Drink Production Planning
por: M. Maldonado
Publicado: (2014)

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

Constructive Quantifier Elimination with a Focus on Matrix Rings
por: Illmer, Maximilian, et al.
Publicado: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
por: Goldberg, Eugene
Publicado: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
por: Davenport, James H., et al.
Publicado: (2023)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
por: Chistikov, Dmitry, et al.
Publicado: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
por: Bartholomew, Michael, et al.
Publicado: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
por: Janota, Mikoláš, et al.
Publicado: (2026)

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
por: Lichtner, Kilian, et al.
Publicado: (2025)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
por: Moreno, Paulo Andrés Soto
Publicado: (2025)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
por: Davenport, James H., et al.
Publicado: (2026)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
por: England, Matthew
Publicado: (2024)

Automated Verification of Silq Quantum Programs using SMT Solvers
por: Lewis, Marco, et al.
Publicado: (2024)

NTUFM_PA2_2 CPAchecker Evaluation on SV-COMP ReachSafety Benchmark
por: Wu, Ying-Chi
Publicado: (2026)

A Comprehensive Evaluation of Vertex Elimination Algorithms for Algorithmic Differentiation
por: Crane, Alex, et al.
Publicado: (2026)

Assignment-Routing Optimization with Cutting-Plane Subtour Elimination: Solver and Benchmark Dataset
por: Yuan, Qilong
Publicado: (2025)

Symplectic Elimination
por: Mahalanobis, Ayan
Publicado: (2025)

Elimination by Substitution
por: Kreuzer, Martin, et al.
Publicado: (2024)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
por: Illmer, Maximilian
Publicado: (2026)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
por: Amat, Nicolas, et al.
Publicado: (2024)

Learning Under Laws: A Constraint-Projected Neural PDE Solver that Eliminates Hallucinations
por: Singha, Mainak
Publicado: (2025)

Prodiabatic Elimination: Higher Order Elimination of Fast Variables with Quantum Noise
por: Neuser, Jan, et al.
Publicado: (2026)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
por: Hsia, Yung-Shen, et al.
Publicado: (2026)

The Ultimate Guide to Protein Powder Packaging
por: Cristina Baker
Publicado: (2025)

Towards SMT Solver Stability via Input Normalization
por: Amrollahi, Daneshvar, et al.
Publicado: (2024)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
por: Nalbach, Jasper, et al.
Publicado: (2025)

Eliminating Majority Illusions
por: Fioravantes, Foivos, et al.
Publicado: (2025)

Dead Gate Elimination
por: Chen, Yanbin, et al.
Publicado: (2025)

Rule-Elimination Theorems
por: Roy, Sayantan
Publicado: (2024)

Invariant Checking for SMT-based Systems with Quantifiers
por: Redondi, Gianluca, et al.
Publicado: (2024)

Reliable Evaluation of Na‐Ion Battery Materials: Eliminating Na‐Metal Distortions
por: Jinkwang Hwang, et al.
Publicado: (2026)