约束推理论文

基于约束传播的约束求解方法研究
论文摘要约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多的约束推...
数据库推理控制技术研究
论文摘要数据库安全中的推理问题是恶意用户利用数据之间的相互联系窃取其不能直接访问的数据,从而造成敏感数据泄露的一种安全问题。推理控制就是要切断数据之间的这种联系,防止敏感数据的...