Pages that link to "Item:Q487645"
From MaRDI portal
The following pages link to Interval-based projection method for under-constrained numerical systems (Q487645):
Displaying 4 items.
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems (Q907591) (← links)
- raSAT: an SMT solver for polynomial constraints (Q1688535) (← links)
- A branch and prune algorithm for the computation of generalized aspects of parallel robots (Q2453696) (← links)
