规则2CP

Rules2CP是一种通用的基于规则的约束编程建模语言。它的目的是使约束编程技术更容易被非程序员使用，通过用逻辑规则和基本数据结构对组合优化问题进行建模，并允许为特定问题建立规则2cp库。包装知识建模语言PKML是在欧洲网络WMS项目的框架下开发的一种库，用于解决更高维的装箱问题，同时考虑到额外的放置约束和特定的工业要求。Rules2CP编译器将Rules2CP语句转换为不同目标系统中的约束程序，目前是Sicstus-Prolog和Choco-Java。Rules2CP编译器在Sicstus Prolog中实现。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献，2标准条款)

显示第1到第5个结果，共5个。
按年份排序(引用)

  1. Mauricio Toro，Camilo Rueda，Carlos Agón，Gérard Assaag:Gelisp:代表音乐CSP和搜索策略的库（2015）阿尔十四
  2. Martin，Julien；Martinez，Thierry；Fages，François:约束编程建模语言中的过程代码生成与静态扩展（2011）
  3. Pieter Wuille；Schrijvers，Tom:在线和离线使用的参数化模型（2011）ioport公司
  4. Fages，François；Martin，Julien:Rules2CP中搜索策略的建模（2009）ioport公司
  5. Fages，François；Martin，Julien:用Rules2CP建模语言从规则到约束程序（2009）