Generalizing DPLL and satisfiability for equalities
Generalizing DPLL and satisfiability for equalities
复制标题
推广 DPLL 和等式的可满足性
DOI：
--
复制
发表时间：
2007
影响因子：
1
通讯作者：
H. Zantema
中科院分区：
文献类型：
--
作者：
Bahareh Badban;J. Pol;O. Tveretina;H. Zantema
