Apr, 2024

图转换规则的自动推导

TL;DR介绍一种结合生成和动态观点的图变换模型构建方法,通过对输入的动态属性进行压缩构建兼容模型,该方法采用一种启发式的方法将图变换模型推演问题转化为已知问题的集合覆盖问题。