克林贡

Clingcon是一个混合求解器,结合单片答案集solver Clingo和CSP求解器GeCODE。Clingcon是(扩展)约束正常逻辑程序的答案集求解器。它将答案集编程(ASP)的高级建模能力与约束求解相结合。非线性有限整数的约束可用于逻辑程序中。主要的CulnCon算法采用SMT的最新技术,并使用冲突驱动的学习和理论传播的CSP求解器。


ZBMaX中的参考文献(33篇)1标准条款

显示结果1至20的33。
按年份排序(引文
  1. 巴塞洛缪,米迦勒;李,Joohyung:具有内涵函数的一阶稳定模型语义(2019)
  2. Alviano,马里奥;多达罗,卡迈恩;马拉泰阿,马珂:回答集编程中的共享集合集(2018)
  3. 阿里亚斯,Joaquin;CARO,曼努埃尔;萨拉查,埃尔默;Marple,Kyle;Gupta,Gopa:约束回答集无接地编程(2018)
  4. 方凯洋、Daoming Lyu、刘波、Steven Gustafson:PoOLL:符号规划与分层强化学习相结合的稳健决策(2018)阿西夫
  5. Frioux,克劳门斯;肖布,托斯滕;谢尔霍恩,塞巴斯蒂安;西格尔,安妮;万科,Philipp:混合代谢网络完工(2018)
  6. Gebser,马丁;卡明斯基,罗兰;考夫曼,本杰明;肖布,托斯滕:用Culgo(2018)解决多重射击ASP
  7. Gebser,马丁;奥伯迈尔,Philipp;Otto,托马斯;Suab,TrStand;Sabuncu,Orkunt;Nguyen,Van;儿子,Fiel:机器人内部物流领域的实验(2018)
  8. Gebser,马丁;奥伯迈尔,Philipp;肖伯,托尔斯滕;Ratsch Heitmann,米歇尔,Runge-马里奥,马里奥:无应答运输车在汽车装配中的应答集编程(2018)
  9. Balduccini,马塞洛;MasZeNi,Daniele;马拉泰阿,马珂;勒布朗,Emily C.:混合域规划的CASP解决方案(2017)
  10. Banbara,Mutsunori;考夫曼,本杰明;Ostrowski,马克斯;肖布,托斯滕:TexTigCulcCon:下一代(2017)
  11. Janhunen,托米河;卡明斯基,罗兰;Ostrowski,马克斯;谢尔霍恩,塞巴斯蒂安;万科,Philipp;肖布,托斯滕:Celigo对Reales和整数的线性约束(2017)
  12. 克莱尔,B·阿特里克利斯,克里斯托弗;圣埃潘,Igor;加西亚,劳伦特:\TrimeScasPrxx,一组前向链式答案集计算方法(2017)
  13. DE CAT,BROES;Lierler,Yulya:约束CNF:SAT和CSP语言在一个屋檐下(2016)
  14. Eiter,托马斯;芬克,米迦勒;IANI,GIOVAMBATISTA;Krennwallner,托马斯;ReRL,克里斯托夫;SCHü勒,彼得:一个具有外部计算的答案集编程模型构建框架(2016)
  15. Eiter,托马斯;芬克,米迦勒;Krennwallner,托马斯;ReRL,克里斯托夫:ASP程序与外部源的域扩展(2016)
  16. Lierler,Yulya;Truszczynski,MiSrase:抽象模块推理系统和求解器(2016)
  17. Banbara,Mutsunori;Gebser,马丁;Inoue,KuSuMi;Ostrowski,马克斯;Peao,Sube;Suab,TrStand;索赫,TueTu皮;Tamura,Y.;Wee,y:AsPATA:用回答集编程求解约束满足问题(2015)
  18. Lierler,YulyY:相关约束答案集编程语言和算法(2014)
  19. 阿齐兹,Rehan Abdul;储,杰弗里;Stuckey,Peter J.:生成界的稳定模型语义(2013)
  20. BeynoGoHe,毛里斯:模型生成的函数依赖的检测和开发(2013)