XSat: A Fast Floating-Point Satisfiability Solver
No abstract available.
DOI 10.1007/978-3-319-41540-6_11
Related papers
- Solving Floating-Point Constraints with Continuous Optimization PLDI 2025
- Scalable Floating-Point Satisfiability via Staged Optimization PLDI 2026
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation PLDI 2024
- Ryū: fast float-to-string conversion PLDI 2018
- Printing Floating-Point Numbers Quickly and Accurately PLDI 1996
- A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations CPP 2017
- Printing floating-point numbers quickly and accurately with integers PLDI 2010