6 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
Sarah Winter
A uniformization of a binary relation is a function that is contained in the relation and has the same domain as the relation. The synthesis problem asks for effective uniformizati…