Tabula Inc., Santa Clara CA 95054, USA;
Tabula Inc., Santa Clara CA 95054, USA;
机译:在归纳逻辑编程中使用约束满足的高效程序综合
机译:方程逻辑规划的增量约束满足
机译:无线传感器网络中附加继电器放置问题的约束编程方法
机译:可编程逻辑详细安置的约束满足方法
机译:具有稳定模型的逻辑编程,可以满足约束条件。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:定性和定量约束满足问题的约束逻辑编程
机译:通过逻辑程序和稳定模型语义实现约束满足