BDD based procedures for a theory of equality with uninterpreted functions

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

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Fingerprint

Dive into the research topics of 'BDD based procedures for a theory of equality with uninterpreted functions'. Together they form a unique fingerprint.

Computer Science

Medicine and Dentistry

INIS

Psychology