MarkusPuschel: Created page with "Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques..."

2020-02-05T08:24:17Z

Created page with "Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques..."

New page

Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques to speed up the analysis by several orders of magnitude in many cases. Specifically, this includes dynamic partitioning of variables and the use of learned transformers that can adaptively lose precision to speed up analysis.

WG211/M20Pueschel - Revision history

MarkusPuschel: Created page with "Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques..."