本质

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


zbMATH中的参考文献(参考 17篇文章 参考,1标准件)

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

  1. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  2. Gent,Ian P.;Miguel,Ian;Nightingale,Peter;McCreesh,Ciaran;Prosser,Patrick;Moore,Neil C.A.;Unsworth,Chris:并行约束求解文献综述(2018)
  3. Schiendorfer,Alexander;Knapp,Alexander;Anders,Gerrit;Reif,Wolfgang:MiniBrass:MiniZn的软约束(2018)
  4. Guns,Tias;Dries,Anton;Nijssen,Siegfried;Tack,Guido;De Raedt,Luc:基于约束的采矿的声明性框架(2017)
  5. Hemmi,David;Tack,Guido;Wallace,Mark:随机组合优化的基于场景的学习(2017)
  6. 阿马蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅各布:为什么CP投资组合解决方案被(低)利用?问题与挑战(2015)
  7. Bruynooghe,Maurice;Blockeel,Hendrik;Bogaerts,Bart;De Cat,Broes;De Pooter,Stef;Jansen,Joachim;Labarre,Anthony;Ramon,Jan;Denecker,Marc;Verwer,Sicco:谓词逻辑作为建模语言:用IDP3建模和解决一些机器学习和数据挖掘问题(2015)
  8. Ansótegui,Carlos;Bofill,Miquel;Palahí,Miquel;Suy,Josep;Villaret,Mateu:通过重新表述为可满足性模理论来求解带有元约束的加权CSP(2013)
  9. 使用双重约束重新计算;Christopher,Schuz,2013;使用累积约束
  10. Bofill,Miquel;Palahí,Miquel;Suy,Josep;Villaret,Mateu:用SAT模理论解决约束满足问题(2012)
  11. Tasharrofi,Shahab;Ternovska,Eugenia:搜索问题多语言建模中模块化的语义解释(2011)
  12. Fages,François;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)
  13. Järvisalo,Matti;Oikarinen,Emilia;Janhunen,Tomi;Niemelä,Ilkka:基于模块的多语言约束建模框架(2009)
  14. Järvisalo,Matti;Oikarinen,Emilia;Janhunen,Tomi;Niemelä,Ilkka:基于模块的多语言约束建模框架(2009)
  15. 阿兰·M·弗里希;哈维,沃里克;杰斐逊,克里斯;马丁内斯·赫尔南德斯,伯纳黛特;米格尔,伊恩:《本质:用于指定组合问题的约束语言》(2008)
  16. Kim万豪酒店;Nicholas Nethercote;Rafeh,Reza;Stuckey,Peter J.;Garcia de la Banda,Maria;Wallace,Mark:锌建模语言的设计(2008)
  17. Mitchell,David G.;Ternovska,Eugenia:表现力和抽象本质(2008)