Fast reordering strategies for BDDs

Bibliographic Details
Main Author: Milošević, Dragan (Author)
Other Involved Persons: Stanković, Radomir ; Moraga, Claudio
Format: Book
Language:English
Published: Dortmund : Dekanat Informatik, Univ. 2000
Series:Universität Dortmund. Forschungsberichte des Fachbereichs Informatik der Universität Dortmund 740
Physical Description:51 S graph. Darst 21 cm
QR Code: Show QR Code