2 citations · 3 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction
Ezana N. Beyenne, Hai-Feng Guo
The spreadsheet application is among the most widely used computing tools in modern society. It provides excellent usability and usefulness, and it easily enables a non-programmer…
cs.PL2005★ 2 cited
An Efficient and Flexible Engine for Computing Fixed Points
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…