A practical approach to satisfiability modulo linear integer arithmetic
From MaRDI portal
Recommendations
Cited in
(32)- Experimenting on solving nonlinear integer arithmetic with incremental linearization
- A Benders decomposition approach to deciding modular linear integer arithmetic
- New techniques for linear arithmetic: cubes and equalities
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- SPASS-SATT. A CDCL(LA) solver
- From simplification to a partial theory solver for non-linear real polynomial constraints
- A complete and terminating approach to linear integer solving
- Satisfiability modulo transcendental functions via incremental linearization
- Integration of linear arithmetic and goal-oriented resolution for software reasoning
- Fast cube tests for LIA constraint solving
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- Towards conflict-driven learning for virtual substitution
- Optimization modulo theories with linear rational costs
- Solving nonlinear integer arithmetic with MCSAT
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- Linear integer arithmetic revisited
- SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
- Instantiation of SMT problems modulo integers
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories
- Minimal counterexamples for linear-time probabilistic verification
- scientific article; zbMATH DE number 1979549 (Why is no real title available?)
- Improving IntSat by expressing disjunctions of bounds as linear constraints
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
- Integration of an LP solver into interval constraint propagation
- Tools and Algorithms for the Construction and Analysis of Systems
- Satisfiability modulo linear arithmetic over a finite ring
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
- Local Search For Satisfiability Modulo Integer Arithmetic Theories
- Local Search for SMT on Linear Integer Arithmetic
- A Preprocessor for Linear Diophantine Equalities and Inequalities
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
This page was built for publication: A practical approach to satisfiability modulo linear integer arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2786906)
