![](/img/cover-not-exists.png)
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas
Olga Tveretina, Wieger WesselinkVolume:
225
Year:
2009
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2008.12.089
File:
PDF, 323 KB
english, 2009