PAGAI
From MaRDI portal
Software:25013
swMATH13095MaRDI QIDQ25013FDOQ25013
Author name not available (Why is that?)
Cited In (9)
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
- Computing invariants with transformers: experimental scalability and accuracy
- On the efficiency of convex polyhedra
- PPLite: zero-overhead encoding of NNC polyhedra
- Program Analysis with Local Policy Iteration
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
- A flow-insensitive-complete program representation
- A Survey of Satisfiability Modulo Theory
- Bias-variance tradeoffs in program analysis
This page was built for software: PAGAI
