An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. https://t.co/qiRqkrVlf6 https://t.co/aZA7HUyg6D
14,029 followers
1,550 followers
Hang Yu, David Monniaux (VERIMAG - IMAG) : An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection https://t.co/Sixi4FRlZH https://t.co/Ywsr243QQy
221 followers
On the Monniaux Problem in Abstract Interpretation https://t.co/2yUScCORbU
65 followers
On the Monniaux Problem in Abstract Interpretation. (arXiv:1907.08257v1 [cs.LO]) https://t.co/lbFqlvcmz4 The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: given a program $P$, a safety (\e