[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Congruence Closure with Integer Offsets
Vardi, Moshe Y.; Voronkov, Andrei
- 作者Vardi, Moshe Y.; Voronkov, Andrei
- 文件大小190.07KB
- 发表时间2003
- DOI10.1007/978-3-540-39813-4_5
- 页码78-90