2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Hai-Feng Guo, Gopal Gupta
An efficient and flexible engine for computing fixed points is critical for many practical applications. In this paper, we firstly present a goal-directed fixed point computation s…