Cork Constraint Computation Centre, Department of Com- puter Science, University College Cork, Ireland tnordlan@4c.ucc.ie;
rnCork Constraint Computation Centre, Department of Com-puter Science, University College Cork, Ireland e.freuder@4c.ucc.ie;
rnCork Constraint Computation Centre, Department of Com-puter Science, University College Cork, Ireland rjw@4c.ucc.ie;
knowledge maintenance; knowledge acquisition; con- straint programming; and consistency algorithms;
机译:概率监管网络与Alzheimer疾病应用基于约束的基于制约的模型
机译:基于约束的建模和代谢工程应用中的产量(与速率)优化的数学框架
机译:基于灵活的权衡感知的基于约束的设计空间探索,用于异构平台上的流式应用
机译:维护基于约束的应用程序
机译:基于约束的建模的新应用:网络比较,热力学可行性和社区动力学。
机译:将概率调控网络整合到基于约束的新陈代谢模型中并应用于阿尔茨海默氏病
机译:维护基于约束的应用程序
机译:基于约束的调度理论推广及其在太空望远镜观测调度中的应用研究