Stem coarsest$ (all stems)
3 papers:
- TACAS-2002-GentiliniPP #problem #simulation
- Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.
- CAV-1994-LeeR #algorithm #implementation #parallel #problem #relational
- A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation (IL, SR), pp. 404–414.
- ICALP-1984-PaigeT #algorithm #linear #problem
- A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem (RP, RET), pp. 371–379.