SageSAT公司 swMATH ID: 20737 软件作者： 祖尔科斯基，E.，加内什，V。 描述： SageSAT：将SAGE CAS嵌入SAT解算器中。 主页： https://bitbucket.org/ezulkosk/sagesat网站 相关软件： 数学检查;山猫;超小卫星;极乐;污水处理厂;粉碎;合金*;夏普SAT;DRAT-饰件;哈达玛;CVC4型;CPGraph（CPGraph）;验证;数字Py;z3（零3）;FFTW公司;伊莎贝尔/霍尔;SageMath公司;数学软件;枫树 引用于： 1文件 全部的 前5名6位作者引用 1 布莱特，柯蒂斯 1 Czarnecki、Krzysztof 1 维杰·加内什 1 阿尔伯特·海因勒 1 科齐里亚斯（Ilias S.Kotsireas）。 1 爱德华·祖尔科斯基 连载1篇 1 自动推理杂志 在2个字段中引用 1 组合数学（05-XX） 1 计算机科学（68至XX） 按年份列出的引文