An Even Faster Solver for General Systems of Equations
Abstract elided by the publisher.
Related papers
- Split Gröbner Bases for Satisfiability Modulo Finite Fields CAV 2024
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems TACAS 2003
- Even Faster Conflicts and Lazier Reductions for String Solvers CAV 2022
- A Practical Functional Program for the CRAY X-MP JFP 1992
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- A Uniform Framework for Handling Position Constraints in String Solving PLDI 2025