29 citations · 171 across the 24 of their papers we have counts for
1 paper · 1 filter
Milan Hladík, Stefan Ratschan
In various applications the search for certificates for certain properties (e.g., stability of dynamical systems, program termination) can be formulated as a quantified constraint…