Pages that link to "Item:Q2814107"
From MaRDI portal
The following pages link to Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (Q2814107):
Displaying 4 items.
- Mathematical programming: Turing completeness and applications to software analysis (Q405669) (← links)
- Constraint qualification failure in action (Q1694785) (← links)
- Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections (Q2131141) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
