模块化上下文约束

本文描述了一种将基于约束的语法编译为更高效处理形式的方法。该方法将约束公式中出现的依赖析取分解为可能的非相互作用组，从而实现模块化。通过确定这些组的独立性，当一组依赖析取被分割成更小的组时，可以显著减少指数级的冗余信息。在运行时，这意味着可以节省指数级的处理开销。由于处理带有依赖析取的约束算法的性能高度取决于其输入，本文中提出的转换对此类所有算法都应具有积极作用。