基于重写的可满足性过程的新结果
@文章{Armando2006NewRO, title={基于重写的可满足性过程的新结果}, 作者={Alessandro Armando和Maria Paola Bonacina以及Silvio Ranise和Stephan Schulz}, 日志={ArXiv}, 年份={2006}, 体积={abs/cs/0604054}, 网址={ https://api.semanticscholar.org/CorpusID:2456196 } }
108引文
用推测推理的定理证明判定可满足性
2010
初始代数中基于变量的可满足性
2015
用定义、算术和有限域在一阶逻辑中进行置换
2017
104参考文献
关于可满足性程序的重写方法:理论的扩展、组合和实验评估
2005
基于延迟理论组合的有效可满足模理论
2005
Nelson-Oppen和基于重写的决策程序的可决定性和不可决定性结果
2006
无限域上有界模型检验的Lazy定理证明
2002
用SAT增量转换法检验一阶公式的可满足性
2002
使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证
2001
MathSAT:SAT与数学决策程序的紧密结合
2005