The following pages link to Ahmed Irfan (Q831940):
Displaying 8 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Experimenting on solving nonlinear integer arithmetic with incremental linearization (Q1656597) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Smt-Switch: a solver-agnostic C++ API for SMT solving (Q2118327) (← links)
- Satisfiability modulo transcendental functions via incremental linearization (Q2405243) (← links)
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF (Q3303890) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
