本质

本质:指定组合问题的约束语言。本质是一种形式语言,用于以类似于使用自然语言和离散数学混合的自然严格规范的方式来指定组合问题。本质提供了一个高层次的抽象,其中大部分是提供决策变量的结果,这些变量的值可以是组合对象,例如元组、集合、多集、关系、分区和函数。本质还允许将这些组合对象嵌套到任意深度,例如提供分区集、分区集集等等。因此,一个需要找到一个复杂的组合对象的问题可以通过使用一个决策变量直接指定,该决策变量的类型正好是该组合对象。


zbMATH中的参考文献(参考文献19条,1标准件)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 奥德马尔,吉尔;法国布塞马特édé风险投资委员会;勒库特,克里斯托夫;皮埃特,Cédric公司;罗塞尔,奥利维尔:XCSP(^3)及其生态系统(2020)
  2. 贝莉,维沙克;De Raedt,Luc:半环规划:广义和积问题的语义框架(2020)
  3. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  4. 根特,伊恩·P。;米格尔,伊恩;南丁格尔,彼得;麦克里斯,西兰;普洛瑟,帕特里克;摩尔,尼尔·C。A、 。;Unsworth,Chris:并行约束求解文献综述(2018)
  5. 斯琴多夫,亚历山大;克纳普,亚历山大;安德斯,格瑞特;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  6. 枪,头饰;干,安东;尼森,齐格弗里德;塔克,吉多;De Raedt,Luc:MiningZinc:基于约束的采矿的声明性框架(2017)
  7. 海米,大卫;塔克,吉多;Wallace,Mark:基于情景的随机组合优化学习(2017)
  8. 阿玛蒂尼,罗伯托;加布里埃利,毛里齐奥;Mauro,Jacopo:为什么CP投资组合解决方案的利用率(不足)?问题和挑战(2015)
  9. 布鲁努赫,莫里斯;Blockeel,亨德里克;博加茨,巴特;德卡特,兄弟;德普特,斯蒂夫;詹森,约阿希姆;安东尼,拉巴尔;拉蒙,简;Denecker,马克;Verwer,Sicco:《谓词逻辑作为建模语言:用IDP3建模和解决一些机器学习和数据挖掘问题》(2015)
  10. 答案ó特吉,卡洛斯;波菲尔,米克尔;帕拉í, 米克尔;苏伊,约瑟普;Villaret,Mateu:通过重新表述为可满足性模理论来求解带有元约束的加权CSP(2013)
  11. 海因茨,斯特凡;舒尔茨,詹斯;贝克,J。克里斯托弗:使用双重预分解约化重新制定累积约束(2013)
  12. 波菲尔,米克尔;帕拉í, 米克尔;苏伊,约瑟普;Villaret,Mateu:用SAT模理论解决约束满足问题(2012)
  13. 塔沙罗菲,沙哈布;特诺夫斯卡,尤金尼亚:搜索问题多语言建模中模块化的语义解释(2011)
  14. 费格斯,弗兰çois;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)
  15. Jä阿维萨洛,马蒂;奥卡里宁,埃米利娅;简胡南,托米;尼美尔ä, Ilkka:基于模块的多语言约束建模框架(2009)
  16. Jä阿维萨洛,马蒂;奥卡里宁,埃米利娅;简胡南,托米;尼美尔ä, Ilkka:基于模块的多语言约束建模框架(2009)
  17. 弗里希,艾伦·M。;哈维,沃里克;杰斐逊,克里斯;市场í尼兹·赫恩á恩德斯,伯纳黛特;米格尔,伊恩:本质:用于指定组合问题的约束语言(2008)
  18. 万豪,金;尼日可,尼古拉斯;拉菲、瑞萨;斯图基,彼得J。;加西亚·德拉班达,玛丽亚;华莱士,马克:锌造型语言的设计(2008)
  19. 米切尔,大卫·G。;特诺夫斯卡,《尤金尼亚:表现力与抽象本质》(2008)