BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal

Browse the full CAV paper archive.