11 search results - page 1 / 3 » Evolving binary decision diagrams using implicit neutrality |
CEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
TC
1998
13 years 4 months ago
1998
DEXA
2004
Springer
13 years 9 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
ICCTA
2007
IEEE
13 years 9 months ago
2007
IEEE
We have carried out experimental research into implicit representation of large graphs using reduced ordered binary decision diagrams (OBDDs). We experimentally show that for grap...