• 普韦布洛

  • 29篇参考文献[SW073]
  • 有效方法积分Pseudo Boolean(Pb)约束条件通用SAT求解器整齐。。。
  • 卡斯珀

  • 6篇参考文献[SW08629 ]
  • 开发环境与编程环境整合属于约束 求解器. CaSPER是一个C++库…
  • 证明者

  • 47篇参考文献[SW09707]
  • 最先进的SAT求解器可以是集成的进入我们的框架。证明者结合状态…在证明器中实现的冗余消除包括:不匹配约束条件阻塞非恰当实例化和基于命题的…
  • 蜜蜂

  • 8篇参考文献[SW16989]
  • 约束简化。蜜蜂是用PROlog语言写的整合直接使用SAT求解器通过…
  • CFLP

  • 5篇参考文献[SW1867 4]
  • 制作各种约束 求解器合作被广泛认可。这样的集成的系统将允许解决…由单一解决求解器. CFLP约束功能逻辑程序设计系统是一种分布式软件。
  • 莎莎舞

  • 5篇参考文献[SW25430]
  • Bharadwaj,R,Sims,S.:萨尔萨:合并约束 求解器用BDDs进行自动不变性检查。莎莎舞紧紧地集成的决策程序,目前结合BDD算法和A约束 求解器
  • 拉丁

  • 15篇参考文献[SW19699 ]
  • 项目摘要:逻辑阿特拉斯和积分器(拉丁语)。拉丁语旨在开发方法、技术和工具……程序员,模型检查员,计算机代数系统,约束 求解器或概念分类器。不幸的是,这些系统有…
  • PROSTO-L

  • 7篇参考文献[SW02476]
  • 基于逻辑编程的语言整合用于编程大量知识的各种概念…外部关系数据库和有限域约束条件. 类型概念涵盖用户定义的排序、子排序…也与有限域约束 求解器
  • 羟脯氨酸

  • 14篇参考文献[SW02643]
  • 约束处理规则(CHR)完整性 约束条件. 假设是由线性激励的机制。附加的内置谓词和约束条件 求解器这可能是可用的。假设和绑架…
  • EZCSP

  • 7篇参考文献[SW27 79]
  • 直观地说,EZCSP允许轻量级。整合ASP和约束编程(CP)。一个扩展的答案…解决方案约束满意问题(CSP)由这样的答案定义…默认链接(LPARSE + SMODEM或其他)求解器可以指定为ASP求解器
  • P-LNCs

  • 3篇参考文献[ SW21733 ]
  • 本文给出了平行线性约束 求解器(P -LIN),它允许约束…解耦角精度约束条件整合单精度…
  • Irkc

  • 18篇参考文献[SW04242]
  • IrkC代码用于时间整合偏微分方程组(PDEs)反应条件及其稳定性约束与扩散项相关联的是…VRUVE},RKC:一个显式的求解器对于抛物型偏微分方程,J.Copt。APPL数学
  • 表面活性剂

  • 2篇参考文献[SW09322]
  • 约束 求解器. CHR操作表示一个平面连接的全局存储。约束条件. 默认情况下…引入可满足性模约束处理规则(SMCHR):紧整合CHR与现代…布尔可满足性(SAT)求解器对于任意命题结构的无量词公式。SMCHR…可满足性模理论(SMT)求解器理论T是在哪里实现的…
  • TCHR

  • 3篇参考文献[SW01345 ]
  • 整合以重量轻的方式约束处理规则,高级语言约束求解器,用表格逻辑编程。该框架很容易用新的应用程序实例来实例化。约束
  • 曼诺普

  • 1篇参考文献[SW18803]
  • 如化工过程工程。但目前求解器演绎推理能力有限…完整性 约束条件还没有利用SMT等自动化推理工具。求解器. 这似乎…
  • POOC

  • 2篇参考文献[SW01398]
  • 不同评价依据约束 求解器为了发展求解器-独立应用程序。我们展示…接口,哪个求解器已经集成的进入框架和附加求解器甚至包括一个基本但强大的约束 求解器
  • 普劳蒂

  • 1篇参考文献[SW229 40]
  • 逻辑编程常用约束解决,同时减少对称性的能力,而…整合在现有工具链中的NATUY,如SAT——求解器有限域约束条件PROlog和PL GoTooS的PROlog框架积分NoTy的软件组件,叫做GToots…
  • 海狮

  • 10篇参考文献[SW3093]
  • 工具密封,旨在作为一个集成的开发环境(IDE)为回答集编程…回答集语义并满足约束条件具有实用性。在这方面,海利有好处…进一步实现的特征是外部支持。求解器可视化和视觉编辑…
  • 索尔菲克

  • 3篇参考文献[SW12942]
  • 时间步进方法(例如接触检测、时间)整合运动学模型)。这次交流的目的…强调高斯赛德尔约束条件 求解器CD的经典元素,有效地实现了…