金龟子

Scarab:一个基于SAT的约束编程系统的快速原型工具本文介绍了Scarab系统,它是一个开发基于SAT的系统的原型工具。它在Scala上提供了一种丰富的约束建模语言,使程序员能够快速地指定问题并尝试不同的建模。Scarab还提供了一种实现增量求解、解枚举和动态添加和/或移除约束的简单方法。在Scarab中,我们可以使用整数变量和算术约束,并且所有这些变量都被编码到SAT中,而不需要开发专用的编码器。然后使用SAT解算器寻找解决方案。

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

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

  1. Brewka,Gerhard;Woltran,Stefan:GRAPPA:基于图的参数处理的语义框架(2014)
  2. Soh,Takehide;Le Berre,Daniel;Roussel,Stéphanie;Banbara,Mutsunori;Tamura,Naoyuki:哈密顿循环问题的基于递增SAT的原生布尔基数处理方法(2014)
  3. Soh,Takehide;Tamura,Naoyuki;Banbara,Mutsunori:Scarab:基于SAT的约束编程系统的快速原型工具(2013)ioport公司