Controlling the Memory During Manipulation of Word-Level Decision Diagrams

Sebastian Kinder, Görschwin Fey, Rolf Drechsler. Controlling the Memory During Manipulation of Word-Level Decision Diagrams. In 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada. pages 250-255, IEEE Computer Society, 2005. [doi]

Authors

Sebastian Kinder

This author has not been identified. Look up 'Sebastian Kinder' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google