相对卫星 swMATH ID: 14806 软件作者： 罗伯托·巴亚多 描述： relsat是一个解决命题可满足性问题（SAT）实例的程序。对于给定的输入实例，它可以用于确定可满足性、输出任意数量的解决方案（如果存在）或确定解决方案的确切数量 主页： http://code.google.com/p/relsat/ 相关软件： 鹦鹉螺；TOPCOM公司；SCIP公司 引用于： 1文件 2位作者引用 1 宫田博之 1 阿诺·帕德罗尔 连载1篇 1 实验数学 在1个字段中引用 1 凸和离散几何（52至XX） 按年份列出的引文