An Incremental Algorithm for Satisfying Hierarchies of Multi-way, Dataflow Constraints

机译：分层多路数据流约束系统的专业计划人员

机译：从多路数据流约束系统生成图形用户界面的反应性程序

机译：令人满意的观察者和描述符对类混沌系统类别的增量二次约束及其在四轮混沌系统中的应用

机译：多路上的计算复杂性，数据流约束问题

机译：动态程序的参数多向递归划分和征管算法

机译：满足一类混沌系统增量二次约束的观测器和描述符及其在四旋翼混沌系统中的应用

机译：实时协作系统中的多路数据流约束传播

机译：手机约束满足的路由识别方法，如果主动路由协议未找到路由，则涉及在通过反应路由算法计算出的潜在路由中搜索路由

机译：确定满足例如转速限制的值的方法乘用车和商用汽车中的离合器总成涉及与相关部件相关联的未知速度约束的速度值的推导

机译：在调度等中使用的系统，它通过允许放宽约束来满足约束