Pages that link to "Item:Q2786906"

The following pages link to A practical approach to satisfiability modulo linear integer arithmetic (Q2786906):

Displaying 24 items.

• Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Q831915) (← links)
• Experimenting on solving nonlinear integer arithmetic with incremental linearization (Q1656597) (← links)
• A Benders decomposition approach to deciding modular linear integer arithmetic (Q1680266) (← links)
• New techniques for linear arithmetic: cubes and equalities (Q1688532) (← links)
• \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
• SPASS-SATT. A CDCL(LA) solver (Q2305409) (← links)
• From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
• A complete and terminating approach to linear integer solving (Q2307624) (← links)
• Satisfiability modulo transcendental functions via incremental linearization (Q2405243) (← links)
• Integration of linear arithmetic and goal-oriented resolution for software reasoning (Q2782497) (← links)
• Fast Cube Tests for LIA Constraint Solving (Q2817914) (← links)
• A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic (Q2830009) (← links)
• Optimization Modulo Theories with Linear Rational Costs (Q2946768) (← links)
• Solving Nonlinear Integer Arithmetic with MCSAT (Q2961575) (← links)
• Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304) (← links)
• Linear Integer Arithmetic Revisited (Q3454126) (← links)
• (Q4427902) (← links)
• Improving IntSat by expressing disjunctions of bounds as linear constraints (Q4589125) (← links)
• Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (Q5194955) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5703769) (← links)
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
• Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)
• Local Search for SMT on Linear Integer Arithmetic (Q6487338) (← links)