计算机应用研究2010，Vol.27Issue(8)：2980-2983,4.DOI:10.3969/j.issn.1001-3695.2010.08.044
FLUX中负析取约束的研究与实现
Research and implementation on negative disjunction constraints in FLUX
摘要
关键词
行动推理/流演算/FLUX/约束求解分类
计算机与自动化引用本文复制引用
刘一松,朱会娟,朱芒,徐艳群..FLUX中负析取约束的研究与实现[J].计算机应用研究,2010,27(8):2980-2983,4.基金项目
江苏省社会发展计划资助项目(BS2001046) （BS2001046）
江苏省高校自然科学研究计划资助项目(03kjd520075) （03kjd520075）
