مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2567894

Title :

Linear Sifting Of Decision Diagrams

Author :

Meinel, Christoph ; Somenzi, Fabio ; Theobald, Thorsten

Author_Institution :

FB IV - Informatik, Universitat Trier

fYear :

1997

fDate :

9-13 June 1997

Firstpage :

202

Lastpage :

207

Keywords :

Boolean functions; Contracts; Data structures; Formal verification; Heuristic algorithms; Logic functions; Permission; Power engineering computing; Reachability analysis; Spectral analysis;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location :

Anaheim, CA, USA

ISSN :

0738-100X

Print_ISBN :

0-7803-4093-0

Type :

conf

DOI :

10.1109/DAC.1997.597144

Filename :

597144

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2567894