![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Boolean Satisfiability with Transitivity Constraints
Emerson, E. Allen, Sistla, Aravinda PrasadVolume:
10.1007/10
Year:
2000
Language:
english
Pages:
14
DOI:
10.1007/10722167_10
File:
PDF, 192 KB
english, 2000