Partial online cycle elimination in inclusion constraint graphs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Information and Computation
Set constraints with intersection
Information and Computation - Special issue: LICS'97
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Disunification in ACI1 Theories
Constraints
Set constraints with projections
Journal of the ACM (JACM)
Hi-index | 0.00 |