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

Anuj Goel Khurram Sajid Hai Zhou Adnan Aziz Vigyan Singhal

Published in: CAV (1998)

Keyphrases

theoretical framework
neural network
orders of magnitude
theoretical basis
general theory
website
case study
rough sets
computational model
information theory
breadth first search