Pages that link to "Item:Q2830009"
From MaRDI portal
The following pages link to A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic (Q2830009):
Displaying 5 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- Modular strategic SMT solving with \textbf{SMT-RAT} (Q2414693) (← links)
- Solving Nonlinear Integer Arithmetic with MCSAT (Q2961575) (← links)
